Details

Time bar (total: 30.7s)

sample346.0ms

Algorithm
intervals
Results
169.0ms214×body1280valid
96.0ms243×body640valid
15.0ms60×body320valid
8.0ms99×body80valid
4.0ms22×body160valid

simplify5.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01214
12214
25314
323514
4110714
5491914
done500014

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (- 1.0 (exp x)) (- 1.0 (exp y))) (- 1.0 (exp z)))
3.6b
(- 1.0 (exp x))
4.2b
(- 1.0 (exp y))
4.4b
(- 1.0 (exp z))

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
30×flip3-- flip--
28×frac-times
14×associate-*l/
13×add-sqr-sqrt *-un-lft-identity
10×add-log-exp
pow1 add-cbrt-cube add-exp-log
associate-*r/
sub-neg associate-*r* add-cube-cbrt
distribute-lft-out-- difference-of-squares
diff-log pow-prod-down prod-exp cbrt-unprod
distribute-rgt-in distribute-lft-in
associate-*l* *-commutative
Counts
4 → 92
Calls
4 calls:
145.0ms
(* (* (- 1.0 (exp x)) (- 1.0 (exp y))) (- 1.0 (exp z)))
12.0ms
(- 1.0 (exp x))
17.0ms
(- 1.0 (exp y))
15.0ms
(- 1.0 (exp z))

series203.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(* (* (- 1.0 (exp x)) (- 1.0 (exp y))) (- 1.0 (exp z)))
32.0ms
(- 1.0 (exp x))
26.0ms
(- 1.0 (exp y))
27.0ms
(- 1.0 (exp z))

simplify2.4s

Counts
104 → 104
Iterations

Useful iterations: 2 (641.0ms)

IterNodesCost
01871903
16031794
231741684
done50011684

prune797.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 14.3b

localize77.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (- (pow 1.0 3) (pow (exp x) 3)) (- (pow 1.0 3) (pow (exp y) 3))) (- 1.0 (exp z)))
3.5b
(- (pow 1.0 3) (pow (exp x) 3))
4.1b
(- (pow 1.0 3) (pow (exp y) 3))
4.4b
(- 1.0 (exp z))

rewrite576.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
34×difference-of-squares
30×flip3-- flip--
29×*-un-lft-identity
28×frac-times
24×unpow-prod-down cube-prod
16×sqr-pow
14×associate-*l/
12×distribute-lft-out--
10×add-log-exp
pow1 add-cbrt-cube add-exp-log
associate-*r/
sub-neg associate-*r* add-cube-cbrt
diff-log pow-prod-down prod-exp cbrt-unprod
distribute-rgt-in difference-cubes distribute-lft-in
associate-*l* *-commutative
Counts
4 → 132
Calls
4 calls:
447.0ms
(* (* (- (pow 1.0 3) (pow (exp x) 3)) (- (pow 1.0 3) (pow (exp y) 3))) (- 1.0 (exp z)))
55.0ms
(- (pow 1.0 3) (pow (exp x) 3))
49.0ms
(- (pow 1.0 3) (pow (exp y) 3))
13.0ms
(- 1.0 (exp z))

series412.0ms

Counts
4 → 12
Calls
4 calls:
217.0ms
(* (* (- (pow 1.0 3) (pow (exp x) 3)) (- (pow 1.0 3) (pow (exp y) 3))) (- 1.0 (exp z)))
76.0ms
(- (pow 1.0 3) (pow (exp x) 3))
82.0ms
(- (pow 1.0 3) (pow (exp y) 3))
36.0ms
(- 1.0 (exp z))

simplify3.5s

Counts
144 → 144
Iterations

Useful iterations: 2 (995.0ms)

IterNodesCost
02493571
17713146
241652971
done50002971

prune1.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 14.3b

regimes1.3s

Accuracy

47.4% (7.8b remaining)

Error of 23.2b against oracle of 15.3b and baseline of 30.2b

bsearch489.0ms

Steps
ItersRangePoint
8
-7.752227966376303e-10
-1.5732111743249695e-12
-1.4959961733025687e-11
6
-4.5731035433345444e+193
-3.566045925277327e+192
-1.7846079888050084e+193

simplify81.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
063116
191116
2104116
3120116
4124116
done124116

end0.0ms

sample13.3s

Algorithm
intervals
Results
5.7s7384×body640valid
5.2s6539×body1280valid
692.0ms1581×body320valid
308.0ms2881×body80valid
109.0ms634×body160valid