Details

Time bar (total: 22.2s)

sample52.0ms

Algorithm
intervals
Results
21.0ms361×body80valid

simplify6.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01313
12713
29013
328913
477713
5168213
6227913
7244013
8245213
done245213

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.5b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite94.0ms

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

series234.0ms

Counts
3 → 9
Calls
3 calls:
79.0ms
(- (* x y) (* (* z 9.0) t))
35.0ms
(* (* z 9.0) t)
120.0ms
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

simplify1.7s

Counts
71 → 71
Iterations

Useful iterations: 2 (324.0ms)

IterNodesCost
0127944
1352906
21808787
done5001787

prune376.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.1b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
42×add-exp-log add-cbrt-cube
25×prod-diff
18×add-sqr-sqrt *-un-lft-identity
16×add-cube-cbrt prod-exp cbrt-unprod
15×div-inv
13×times-frac
10×cbrt-undiv div-exp
9×pow1
6×add-log-exp
5×fma-neg
4×expm1-log1p-u log1p-expm1-u
3×associate-*r* pow-prod-down
2×frac-2neg clear-num associate-/r* associate-/l*
1×sub-neg flip3-- distribute-rgt-out-- diff-log associate-*l* *-commutative frac-sub flip-- distribute-lft-out-- sub-div difference-of-squares
Counts
4 → 119
Calls
4 calls:
58.0ms
(- (/ (* x y) (* a 2.0)) (/ (* (* z 9.0) t) (* a 2.0)))
34.0ms
(* (* z 9.0) t)
28.0ms
(/ (* x y) (* a 2.0))
70.0ms
(/ (* (* z 9.0) t) (* a 2.0))

series284.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(- (/ (* x y) (* a 2.0)) (/ (* (* z 9.0) t) (* a 2.0)))
29.0ms
(* (* z 9.0) t)
45.0ms
(/ (* x y) (* a 2.0))
37.0ms
(/ (* (* z 9.0) t) (* a 2.0))

simplify3.4s

Counts
131 → 131
Iterations

Useful iterations: 2 (634.0ms)

IterNodesCost
02013111
15872539
240122060
done50002060

prune440.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ (* z 9.0) a)
3.2b
(fma (/ x a) (/ y 2.0) (* (- (/ t 2.0)) (/ (* z 9.0) a)))
4.2b
(* (- (/ t 2.0)) (/ (* z 9.0) a))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
30×associate-*l*
24×add-sqr-sqrt times-frac
22×add-cube-cbrt *-un-lft-identity
17×add-exp-log add-cbrt-cube
13×distribute-lft-neg-in distribute-rgt-neg-in
7×associate-*r*
5×pow1 prod-exp cbrt-unprod
4×cbrt-undiv div-exp div-inv
3×expm1-log1p-u associate-/r* log1p-expm1-u add-log-exp
2×distribute-neg-frac
1×distribute-lft-neg-out frac-times neg-mul-1 frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative fma-udef associate-/l* unswap-sqr
Counts
3 → 92
Calls
3 calls:
12.0ms
(/ (* z 9.0) a)
0.0ms
(fma (/ x a) (/ y 2.0) (* (- (/ t 2.0)) (/ (* z 9.0) a)))
49.0ms
(* (- (/ t 2.0)) (/ (* z 9.0) a))

series211.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(/ (* z 9.0) a)
135.0ms
(fma (/ x a) (/ y 2.0) (* (- (/ t 2.0)) (/ (* z 9.0) a)))
52.0ms
(* (- (/ t 2.0)) (/ (* z 9.0) a))

simplify1.8s

Counts
101 → 101
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01671196
14651172
225051049
done50011031

prune506.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt a) (cbrt a))
1.0b
(* (* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0))) (/ 9.0 (cbrt a)))
3.2b
(fma (/ x a) (/ y 2.0) (* (* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0))) (/ 9.0 (cbrt a))))
4.2b
(* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0)))

rewrite300.0ms

Algorithm
rewrite-expression-head
Rules
58×associate-*r*
54×add-sqr-sqrt
47×add-exp-log
42×add-cube-cbrt *-un-lft-identity
40×times-frac
35×add-cbrt-cube
25×cbrt-prod
21×prod-exp cbrt-unprod
18×pow1
14×associate-*l*
13×distribute-lft-neg-in distribute-rgt-neg-in
10×cbrt-undiv div-exp
6×frac-times pow1/3 swap-sqr pow-prod-down associate-*l/ distribute-neg-frac unswap-sqr
4×expm1-log1p-u associate-*r/ log1p-expm1-u div-inv add-log-exp
3×*-commutative
2×pow-sqr pow-prod-up distribute-rgt-neg-out
1×distribute-lft-neg-out pow2 neg-mul-1 pow-plus fma-udef
Counts
4 → 171
Calls
4 calls:
22.0ms
(* (cbrt a) (cbrt a))
167.0ms
(* (* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0))) (/ 9.0 (cbrt a)))
0.0ms
(fma (/ x a) (/ y 2.0) (* (* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0))) (/ 9.0 (cbrt a))))
93.0ms
(* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0)))

series915.0ms

Counts
4 → 12
Calls
4 calls:
271.0ms
(* (cbrt a) (cbrt a))
90.0ms
(* (* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0))) (/ 9.0 (cbrt a)))
194.0ms
(fma (/ x a) (/ y 2.0) (* (* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0))) (/ 9.0 (cbrt a))))
359.0ms
(* (/ z (* (cbrt a) (cbrt a))) (- (/ t 2.0)))

simplify674.0ms

Counts
183 → 183
Iterations

Useful iterations: done (666.0ms)

IterNodesCost
03012971
19232819
done50002174

prune1.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes1.0s

Accuracy

19.6% (5.9b remaining)

Error of 5.9b against oracle of 0.0b and baseline of 7.4b

bsearch308.0ms

Steps
ItersRangePoint
7
1.4074213790390215e-27
2.3624965335197777e-25
8.871629807142084e-27
9
-6.952722518439332e-187
-9.050913633592122e-196
-3.8859852354263164e-193
7
-7.144181002595017e+104
-1.1080147065134562e+103
-2.5331059565661505e+104

simplify36.0ms

Iterations

Useful iterations: 4 (30.0ms)

IterNodesCost
04697
16997
28497
39697
49996
done9996

end0.0ms

sample1.8s

Algorithm
intervals
Results
996.0ms11019×body80valid