Details

Time bar (total: 11.0s)

sample91.0ms

Algorithm
intervals
Results
55.0ms256×body80valid
8.0ms256×pre80true
4.0ms132×pre80false

simplify52.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01221
11821
22521
done2521

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(tan (* x 1.2246467991473533))
0.0b
(/ (+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533))) (- 1.0 (* (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))))
0.2b
(* (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))
0.2b
(+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
17×add-sqr-sqrt
15×add-cube-cbrt
12×times-frac
tan-quot
add-cbrt-cube add-exp-log
pow1 add-log-exp
distribute-lft-out
associate-/l*
associate-/r* associate-*r* associate-*l* associate-/l/
flip3-+ frac-add associate-/r/ flip-+
frac-times cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-- div-exp pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod div-inv flip-- unswap-sqr
Counts
4 → 78
Calls
4 calls:
16.0ms
(tan (* x 1.2246467991473533))
89.0ms
(/ (+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533))) (- 1.0 (* (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))))
94.0ms
(* (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))
34.0ms
(+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))

series887.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(tan (* x 1.2246467991473533))
390.0ms
(/ (+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533))) (- 1.0 (* (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))))
213.0ms
(* (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))
192.0ms
(+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))

simplify1.2s

Counts
90 → 90
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01681970
13701901
214581801
done50001799

prune609.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533))) (- 1.0 (* (tan (* x 3.141592653589793)) (/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x))))))
0.0b
(/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x)))
0.2b
(* (tan (* x 3.141592653589793)) (/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x))))
0.2b
(+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
34×add-sqr-sqrt
31×times-frac
29×add-cube-cbrt
13×add-cbrt-cube associate-*r* add-exp-log
associate-/l*
pow1 associate-/r* tan-quot add-log-exp
distribute-lft-out
cbrt-undiv div-exp associate-*l* div-inv associate-/l/
clear-num frac-2neg flip3-+ frac-add prod-exp associate-/r/ cbrt-unprod flip-+ unswap-sqr
frac-times +-commutative quot-tan sum-log flip3-- pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Counts
4 → 111
Calls
4 calls:
89.0ms
(/ (+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533))) (- 1.0 (* (tan (* x 3.141592653589793)) (/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x))))))
31.0ms
(/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x)))
83.0ms
(* (tan (* x 3.141592653589793)) (/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x))))
34.0ms
(+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))

series925.0ms

Counts
4 → 12
Calls
4 calls:
407.0ms
(/ (+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533))) (- 1.0 (* (tan (* x 3.141592653589793)) (/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x))))))
93.0ms
(/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x)))
234.0ms
(* (tan (* x 3.141592653589793)) (/ (sin (* 1.2246467991473533 x)) (cos (* 1.2246467991473533 x))))
190.0ms
(+ (tan (* x 3.141592653589793)) (tan (* x 1.2246467991473533)))

simplify2.2s

Counts
123 → 123
Iterations

Useful iterations: 2 (542.0ms)

IterNodesCost
02212992
15102904
224612702
done50012702

prune925.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes77.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01626
11926
done1926

end0.0ms

sample3.4s

Algorithm
intervals
Results
2.6s8000×body80valid
253.0ms8000×pre80true
117.0ms4005×pre80false