Details

Time bar (total: 18.8s)

sample50.0ms

Algorithm
intervals
Results
23.0ms361×body80valid

simplify5.4s

Counts
1 → 1
Iterations
IterNodes
done2126
82126
72120
62006
51561
4743
3278
289
126
013

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.8b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x y) (* (* z 9.0) t))
0.2b
(* (* z 9.0) t)
6.4b
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube add-exp-log
8×pow1
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×add-log-exp
4×prod-exp cbrt-unprod
3×times-frac associate-*r* pow-prod-down associate-/l*
2×cbrt-undiv flip3-- div-exp flip-- associate-/l/
1×clear-num associate-/r* sub-neg frac-2neg diff-log div-sub associate-*l* *-commutative div-inv
Counts
3 → 54
Calls
3 calls:
12.0ms
(- (* x y) (* (* z 9.0) t))
26.0ms
(* (* z 9.0) t)
21.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

series214.0ms

Counts
3 → 9
Calls
3 calls:
83.0ms
(- (* x y) (* (* z 9.0) t))
33.0ms
(* (* z 9.0) t)
98.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

simplify822.0ms

Counts
63 → 63
Iterations
IterNodes
done5000
21595
1328
0116

prune375.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* x y) (* 2.0 a)) (* (/ z 2.0) (/ (* t 9.0) a)))
0.2b
(/ (* t 9.0) a)
3.6b
(/ (* x y) (* 2.0 a))
4.0b
(* (/ z 2.0) (/ (* t 9.0) a))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
42×add-cbrt-cube add-exp-log
20×add-sqr-sqrt
17×times-frac
15×*-un-lft-identity add-cube-cbrt
13×cbrt-undiv div-exp associate-*l* prod-exp cbrt-unprod
7×associate-*r*
6×pow1 add-log-exp
4×associate-/r* div-inv
3×frac-times frac-sub
2×clear-num frac-2neg associate-*l/ associate-*r/ associate-/l* unswap-sqr
1×sub-neg flip3-- diff-log pow-prod-down *-commutative flip-- sub-div
Counts
4 → 104
Calls
4 calls:
46.0ms
(- (/ (* x y) (* 2.0 a)) (* (/ z 2.0) (/ (* t 9.0) a)))
11.0ms
(/ (* t 9.0) a)
10.0ms
(/ (* x y) (* 2.0 a))
27.0ms
(* (/ z 2.0) (/ (* t 9.0) a))

series258.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(- (/ (* x y) (* 2.0 a)) (* (/ z 2.0) (/ (* t 9.0) a)))
33.0ms
(/ (* t 9.0) a)
33.0ms
(/ (* x y) (* 2.0 a))
42.0ms
(* (/ z 2.0) (/ (* t 9.0) a))

simplify1.6s

Counts
116 → 116
Iterations
IterNodes
done5000
23624
1624
0204

prune771.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* x y) (* 2.0 a)) (* 1 (/ (/ z (/ (/ a t) 9.0)) 2.0)))
0.2b
(/ (/ a t) 9.0)
3.6b
(/ z (/ (/ a t) 9.0))
3.6b
(/ (* x y) (* 2.0 a))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
469×times-frac
231×*-un-lft-identity
230×add-sqr-sqrt add-cube-cbrt
47×associate-/r*
30×add-cbrt-cube add-exp-log
23×div-inv
17×associate-/l*
13×cbrt-undiv div-exp
6×add-log-exp
4×pow1 prod-exp cbrt-unprod
3×clear-num frac-2neg
1×sub-neg flip3-- diff-log associate-*r/ associate-/r/ frac-sub flip-- distribute-lft-out-- associate-/l/
Counts
4 → 297
Calls
4 calls:
20.0ms
(- (/ (* x y) (* 2.0 a)) (* 1 (/ (/ z (/ (/ a t) 9.0)) 2.0)))
9.0ms
(/ (/ a t) 9.0)
15.0ms
(/ z (/ (/ a t) 9.0))
10.0ms
(/ (* x y) (* 2.0 a))

series246.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(- (/ (* x y) (* 2.0 a)) (* 1 (/ (/ z (/ (/ a t) 9.0)) 2.0)))
25.0ms
(/ (/ a t) 9.0)
30.0ms
(/ z (/ (/ a t) 9.0))
48.0ms
(/ (* x y) (* 2.0 a))

simplify780.0ms

Counts
309 → 309
Iterations
IterNodes
done5000
11601
0545

prune2.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* x y) (* 2.0 a)) (* (/ z 2.0) (/ t (/ a 9.0))))
0.2b
(/ t (/ a 9.0))
3.6b
(/ (* x y) (* 2.0 a))
4.0b
(* (/ z 2.0) (/ t (/ a 9.0)))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
160×times-frac
109×add-sqr-sqrt
88×*-un-lft-identity add-cube-cbrt
44×associate-*r*
42×add-cbrt-cube add-exp-log
16×cbrt-undiv div-exp
14×associate-/r*
13×associate-*l*
11×div-inv
10×prod-exp cbrt-unprod
6×pow1 add-log-exp unswap-sqr
4×associate-/l*
3×frac-sub
2×frac-times clear-num frac-2neg associate-*l/ associate-*r/ associate-/r/
1×sub-neg flip3-- diff-log pow-prod-down *-commutative flip--
Counts
4 → 193
Calls
4 calls:
21.0ms
(- (/ (* x y) (* 2.0 a)) (* (/ z 2.0) (/ t (/ a 9.0))))
12.0ms
(/ t (/ a 9.0))
19.0ms
(/ (* x y) (* 2.0 a))
74.0ms
(* (/ z 2.0) (/ t (/ a 9.0)))

series282.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(- (/ (* x y) (* 2.0 a)) (* (/ z 2.0) (/ t (/ a 9.0))))
25.0ms
(/ t (/ a 9.0))
42.0ms
(/ (* x y) (* 2.0 a))
56.0ms
(* (/ z 2.0) (/ t (/ a 9.0)))

simplify501.0ms

Counts
205 → 205
Iterations
IterNodes
done5000
11114
0345

prune1.3s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes984.0ms

Accuracy

9.7% (6.9b remaining)

Error of 6.9b against oracle of 0.0b and baseline of 7.7b

bsearch150.0ms

Steps
ItersRangePoint
7
-6.131762381930565e-188
-2.5939849344507775e-189
-4.849375291070954e-188
9
-1.0745543708560182e-57
-6.398029368581989e-65
-4.6851483435400574e-61

simplify10.0ms

Iterations
IterNodes
done47
247
146
036

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.2s11298×body80valid