Details

Time bar (total: 31.2s)

sample57.0ms

Algorithm
intervals
Results
27.0ms356×body80valid

simplify7.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
011245
124245
248245
367245
495245
5138245
6182245
7201245
8228245
9257245
10277245
11307245
12344245
13385245
14465245
15625245
16789245
17925245
181005245
191117245
201211245
211316245
221407245
231513245
241602245
251707245
261800245
271904245
281993245
292104245
302195245
312299245
322393245
332498245
342589245
352695245
362784245
372889245
382982245
393086245
403175245
413286245
423377245
433481245
443575245
453680245
463771245
473877245
483966245
494071245
504164245
514268245
524357245
534468245
544559245
554663245
564757245
574862245
584953245
done5001245

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.5b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b
(* (* z 3.0) y)
0.3b
(/ y (* z 3.0))
8.1b
(/ t (* (* z 3.0) y))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
25×add-sqr-sqrt
23×associate-+l+ add-cbrt-cube add-exp-log add-cube-cbrt
21×prod-diff
15×times-frac
9×pow1 add-log-exp
7×prod-exp cbrt-unprod
6×associate-/l*
5×cbrt-undiv fma-def div-exp div-inv
4×expm1-log1p-u log1p-expm1-u
3×associate-*r* pow-prod-down
2×clear-num associate-/r* sum-log frac-2neg frac-add distribute-lft-out distribute-lft-out--
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-*l* *-commutative associate-+l- flip-+ flip-- difference-of-squares
Counts
4 → 115
Calls
4 calls:
104.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
21.0ms
(* (* z 3.0) y)
10.0ms
(/ y (* z 3.0))
14.0ms
(/ t (* (* z 3.0) y))

series240.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
37.0ms
(* (* z 3.0) y)
20.0ms
(/ y (* z 3.0))
44.0ms
(/ t (* (* z 3.0) y))

simplify2.4s

Counts
127 → 127
Iterations

Useful iterations: done (2.4s)

IterNodesCost
018430919
150729141
2202627472
done502826950

prune932.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
0.2b
(/ t (* z 3.0))
0.3b
(/ y (* z 3.0))
5.8b
(/ (/ t (* z 3.0)) y)

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
45×*-un-lft-identity
40×add-sqr-sqrt
38×add-cube-cbrt
23×associate-+l+ add-cbrt-cube add-exp-log
21×prod-diff
13×associate-/l*
10×div-inv
9×cbrt-undiv div-exp add-log-exp
5×associate-/r* fma-def
4×expm1-log1p-u pow1 log1p-expm1-u
3×clear-num frac-2neg prod-exp cbrt-unprod
2×sum-log frac-add distribute-lft-out distribute-lft-out--
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-+l- flip-+ flip-- difference-of-squares associate-/l/
Counts
4 → 143
Calls
4 calls:
101.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
15.0ms
(/ t (* z 3.0))
6.0ms
(/ y (* z 3.0))
12.0ms
(/ (/ t (* z 3.0)) y)

series225.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
37.0ms
(/ t (* z 3.0))
33.0ms
(/ y (* z 3.0))
48.0ms
(/ (/ t (* z 3.0)) y)

simplify2.3s

Counts
155 → 155
Iterations

Useful iterations: done (2.3s)

IterNodesCost
023039358
159636935
2207834841
done504134291

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ (/ y z) 3.0)) (/ (/ t (* z 3.0)) y))
0.2b
(/ t (* z 3.0))
0.3b
(/ (/ y z) 3.0)
5.8b
(/ (/ t (* z 3.0)) y)

rewrite319.0ms

Algorithm
rewrite-expression-head
Rules
312×times-frac
222×add-sqr-sqrt
220×*-un-lft-identity
213×add-cube-cbrt
131×associate-+l+
129×prod-diff
23×add-cbrt-cube add-exp-log div-inv associate-/l*
10×cbrt-undiv div-exp
9×add-log-exp
7×associate-/r* fma-def
4×expm1-log1p-u pow1 log1p-expm1-u
3×clear-num frac-2neg difference-of-squares
2×sum-log frac-add prod-exp cbrt-unprod distribute-lft-out distribute-lft-out-- associate-/l/
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-+l- flip-+ flip--
Counts
4 → 302
Calls
4 calls:
251.0ms
(+ (- x (/ (/ y z) 3.0)) (/ (/ t (* z 3.0)) y))
12.0ms
(/ t (* z 3.0))
18.0ms
(/ (/ y z) 3.0)
22.0ms
(/ (/ t (* z 3.0)) y)

series194.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(+ (- x (/ (/ y z) 3.0)) (/ (/ t (* z 3.0)) y))
20.0ms
(/ t (* z 3.0))
32.0ms
(/ (/ y z) 3.0)
40.0ms
(/ (/ t (* z 3.0)) y)

simplify3.6s

Counts
314 → 314
Iterations

Useful iterations: done (3.5s)

IterNodesCost
0480122013
11330115060
24875107578
done5000106903

prune2.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (- (/ y (* z 3.0)) (/ (/ t (* z 3.0)) y)))
0.2b
(/ t (* z 3.0))
0.3b
(/ y (* z 3.0))
5.8b
(/ (/ t (* z 3.0)) y)

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
327×times-frac
199×add-sqr-sqrt
193×*-un-lft-identity prod-diff
182×add-cube-cbrt
177×associate--r+
60×div-inv
23×add-cbrt-cube add-exp-log
13×associate-/l*
9×cbrt-undiv div-exp add-log-exp
7×difference-of-squares
6×distribute-lft-out--
5×associate-/r*
4×expm1-log1p-u pow1 log1p-expm1-u
3×clear-num frac-2neg fma-neg diff-log prod-exp cbrt-unprod
2×sub-neg
1×flip3-- flip-- associate--r- associate-/l/
Counts
4 → 313
Calls
4 calls:
140.0ms
(- x (- (/ y (* z 3.0)) (/ (/ t (* z 3.0)) y)))
6.0ms
(/ t (* z 3.0))
6.0ms
(/ y (* z 3.0))
11.0ms
(/ (/ t (* z 3.0)) y)

series190.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(- x (- (/ y (* z 3.0)) (/ (/ t (* z 3.0)) y)))
30.0ms
(/ t (* z 3.0))
23.0ms
(/ y (* z 3.0))
39.0ms
(/ (/ t (* z 3.0)) y)

simplify4.5s

Counts
325 → 325
Iterations

Useful iterations: done (4.5s)

IterNodesCost
0632138494
11683132064
24633121391
done5000121122

prune2.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes395.0ms

Accuracy

56.2% (0.7b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 1.7b

bsearch136.0ms

Steps
ItersRangePoint
8
2.68945792689069e-26
2.2453886028814854e-23
1.0943752265063426e-25
5
-2.6137717356461358e-132
-8.35322481886235e-133
-2.577022243406334e-132

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0321044
1401044
done401044

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.2s11167×body80valid