Details

Time bar (total: 22.6s)

sample29.0ms

Algorithm
intervals
Results
14.0ms356×body80valid

simplify6.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.5b

localize40.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))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
23×add-cbrt-cube add-exp-log
14×*-un-lft-identity
9×add-sqr-sqrt pow1 add-cube-cbrt add-log-exp
7×prod-exp cbrt-unprod
6×times-frac associate-/l*
5×cbrt-undiv div-exp
3×associate-*r* pow-prod-down
2×associate-+l+ clear-num associate-/r* sum-log frac-2neg frac-add div-inv distribute-lft-out
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-*l* *-commutative associate-+l- flip-+ flip-- distribute-lft-out--
Counts
4 → 81
Calls
4 calls:
93.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
27.0ms
(* (* z 3.0) y)
12.0ms
(/ y (* z 3.0))
27.0ms
(/ t (* (* z 3.0) y))

series215.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
28.0ms
(* (* z 3.0) y)
39.0ms
(/ y (* z 3.0))
39.0ms
(/ t (* (* z 3.0) y))

simplify2.4s

Counts
93 → 93
Iterations

Useful iterations: done (2.4s)

IterNodesCost
014920761
140618988
2159718308
done500017828

prune589.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize39.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)

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
29×*-un-lft-identity
24×add-sqr-sqrt add-cube-cbrt
23×add-cbrt-cube add-exp-log
13×associate-/l*
9×cbrt-undiv div-exp add-log-exp
7×div-inv
5×associate-/r*
4×pow1
3×clear-num frac-2neg prod-exp cbrt-unprod
2×associate-+l+ sum-log frac-add distribute-lft-out
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-+l- flip-+ flip-- distribute-lft-out-- associate-/l/
Counts
4 → 109
Calls
4 calls:
100.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
12.0ms
(/ t (* z 3.0))
12.0ms
(/ y (* z 3.0))
28.0ms
(/ (/ t (* z 3.0)) y)

series201.0ms

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

simplify1.8s

Counts
121 → 121
Iterations

Useful iterations: done (1.8s)

IterNodesCost
019529200
149127102
2182425901
done508625861

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize26.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)

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
111×times-frac
69×*-un-lft-identity
64×add-sqr-sqrt add-cube-cbrt
23×add-cbrt-cube add-exp-log associate-/l*
11×div-inv
10×cbrt-undiv div-exp
9×add-log-exp
7×associate-/r*
4×pow1
3×clear-num frac-2neg
2×associate-+l+ sum-log frac-add prod-exp cbrt-unprod distribute-lft-out associate-/l/
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-+l- flip-+ flip-- distribute-lft-out--
Counts
4 → 158
Calls
4 calls:
196.0ms
(+ (- x (/ (/ y z) 3.0)) (/ (/ t (* z 3.0)) y))
10.0ms
(/ t (* z 3.0))
10.0ms
(/ (/ y z) 3.0)
15.0ms
(/ (/ t (* z 3.0)) y)

series222.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(+ (- x (/ (/ y z) 3.0)) (/ (/ t (* z 3.0)) y))
26.0ms
(/ t (* z 3.0))
37.0ms
(/ (/ y z) 3.0)
54.0ms
(/ (/ t (* z 3.0)) y)

simplify2.1s

Counts
170 → 170
Iterations

Useful iterations: done (2.1s)

IterNodesCost
030547125
175643933
2277042971
done501842731

prune1.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
46×times-frac
35×add-sqr-sqrt
32×*-un-lft-identity
30×add-cube-cbrt
23×add-cbrt-cube add-exp-log
13×associate-*r*
10×associate-/l*
9×add-log-exp
8×cbrt-undiv div-exp
7×div-inv
6×pow1
4×associate-/r* prod-exp cbrt-unprod
3×associate-*l*
2×associate-+l+ clear-num sum-log frac-2neg frac-add unswap-sqr
1×+-commutative sub-neg flip3-+ flip3-- diff-log pow-prod-down associate-*r/ *-commutative associate-+l- flip-+ flip-- distribute-lft-out associate-/l/
Counts
4 → 119
Calls
4 calls:
41.0ms
(+ (- x (* 0.3333333333333333 (/ y z))) (/ (/ t (* z 3.0)) y))
10.0ms
(/ t (* z 3.0))
20.0ms
(* 0.3333333333333333 (/ y z))
21.0ms
(/ (/ t (* z 3.0)) y)

series212.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(+ (- x (* 0.3333333333333333 (/ y z))) (/ (/ t (* z 3.0)) y))
24.0ms
(/ t (* z 3.0))
25.0ms
(* 0.3333333333333333 (/ y z))
35.0ms
(/ (/ t (* z 3.0)) y)

simplify2.1s

Counts
131 → 131
Iterations

Useful iterations: done (2.1s)

IterNodesCost
022731844
159729461
2220428219
done500628179

prune853.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes410.0ms

Accuracy

77.1% (0.4b remaining)

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

bsearch91.0ms

Steps
ItersRangePoint
8
2.68945792689069e-26
2.2453886028814854e-23
1.2228270596194271e-23
5
-1.1941095842952032e-42
-4.439440641457203e-43
-1.178114486330546e-42

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
024748
134748
done34748

end0.0ms

sample1.3s

Algorithm
intervals
Results
899.0ms11167×body80valid