Details

Time bar (total: 20.8s)

sample52.0ms

Algorithm
intervals
Results
22.0ms352×body80valid

simplify5.5s

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.2b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite56.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))
23.0ms
(* (* z 9.0) t)
18.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

series197.0ms

Counts
3 → 9
Calls
3 calls:
75.0ms
(- (* x y) (* (* z 9.0) t))
37.0ms
(* (* z 9.0) t)
85.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

simplify964.0ms

Counts
63 → 63
Iterations
IterNodes
done5000
21595
1328
0116

prune412.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.2b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* 0.5 x) (/ a y)) (/ 4.5 (/ a (* z t))))
0.6b
(/ 4.5 (/ a (* z t)))
5.3b
(/ (* 0.5 x) (/ a y))
6.3b
(/ a (* z t))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
68×times-frac
41×add-sqr-sqrt
38×*-un-lft-identity
36×add-cube-cbrt
30×add-cbrt-cube add-exp-log
21×associate-/r*
13×cbrt-undiv div-exp
9×div-inv
7×associate-/l*
6×add-log-exp
4×pow1 prod-exp cbrt-unprod
3×clear-num frac-2neg
2×associate-/r/ difference-of-squares
1×sub-neg flip3-- diff-log frac-sub flip-- distribute-lft-out--
Counts
4 → 131
Calls
4 calls:
91.0ms
(- (/ (* 0.5 x) (/ a y)) (/ 4.5 (/ a (* z t))))
18.0ms
(/ 4.5 (/ a (* z t)))
20.0ms
(/ (* 0.5 x) (/ a y))
11.0ms
(/ a (* z t))

series222.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(- (/ (* 0.5 x) (/ a y)) (/ 4.5 (/ a (* z t))))
46.0ms
(/ 4.5 (/ a (* z t)))
40.0ms
(/ (* 0.5 x) (/ a y))
26.0ms
(/ a (* z t))

simplify1.5s

Counts
143 → 143
Iterations
IterNodes
done5000
23548
1691
0261

prune928.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* 0.5 x) (/ a y)) (/ 4.5 (/ (/ a z) t)))
0.6b
(/ 4.5 (/ (/ a z) t))
4.7b
(/ (/ a z) t)
5.3b
(/ (* 0.5 x) (/ a y))

rewrite270.0ms

Algorithm
rewrite-expression-head
Rules
505×times-frac
258×add-sqr-sqrt
246×*-un-lft-identity
244×add-cube-cbrt
59×associate-/r*
30×add-cbrt-cube add-exp-log
25×div-inv
17×associate-/l*
15×cbrt-undiv div-exp
6×add-log-exp
4×pow1 difference-of-squares
3×clear-num frac-2neg
2×prod-exp associate-/r/ cbrt-unprod
1×sub-neg flip3-- diff-log frac-sub flip-- distribute-lft-out-- associate-/l/
Counts
4 → 326
Calls
4 calls:
179.0ms
(- (/ (* 0.5 x) (/ a y)) (/ 4.5 (/ (/ a z) t)))
28.0ms
(/ 4.5 (/ (/ a z) t))
9.0ms
(/ (/ a z) t)
16.0ms
(/ (* 0.5 x) (/ a y))

series232.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(- (/ (* 0.5 x) (/ a y)) (/ 4.5 (/ (/ a z) t)))
32.0ms
(/ 4.5 (/ (/ a z) t))
21.0ms
(/ (/ a z) t)
55.0ms
(/ (* 0.5 x) (/ a y))

simplify1.0s

Counts
338 → 338
Iterations
IterNodes
done5000
11714
0599

prune2.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(/ 4.5 (/ (/ a z) t))
2.1b
(/ (* 0.5 x) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
4.7b
(/ (/ a z) t)

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
475×times-frac
233×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
59×add-exp-log
51×associate-/r*
43×add-cbrt-cube
27×cbrt-undiv div-exp
25×div-inv
17×associate-/l*
13×prod-exp cbrt-unprod
4×pow1 add-log-exp
3×cbrt-prod clear-num frac-2neg
2×associate-/r/
1×pow1/3 associate-/l/
Counts
4 → 315
Calls
4 calls:
1.0ms
(cbrt y)
33.0ms
(/ 4.5 (/ (/ a z) t))
37.0ms
(/ (* 0.5 x) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
9.0ms
(/ (/ a z) t)

series454.0ms

Counts
4 → 12
Calls
4 calls:
271.0ms
(cbrt y)
54.0ms
(/ 4.5 (/ (/ a z) t))
99.0ms
(/ (* 0.5 x) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y))))
30.0ms
(/ (/ a z) t)

simplify941.0ms

Counts
327 → 327
Iterations
IterNodes
done5001
11785
0602

prune2.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes696.0ms

Accuracy

5.7% (4.8b remaining)

Error of 4.8b against oracle of 0.0b and baseline of 5.1b

bsearch1.0ms

simplify5.0ms

Iterations
IterNodes
done53
153
045

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.3s11155×body80valid