Details

Time bar (total: 17.3s)

sample41.0ms

Algorithm
intervals
Results
21.0ms337×body80valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5001
584953
574862
564757
554663
544559
534468
524357
514268
504164
494071
483966
473877
463771
453680
443575
433481
423377
413286
403175
393086
382982
372889
362784
352695
342589
332498
322393
312299
302195
292104
281993
271904
261800
251707
241602
231513
221407
211316
201211
191117
181005
17925
16789
15625
14465
13385
12344
11307
10277
9257
8228
7201
6182
5138
495
367
248
124
011

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.6b

localize20.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.2b
(/ y (* z 3.0))
5.5b
(/ t (* (* z 3.0) y))

rewrite129.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:
85.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
13.0ms
(* (* z 3.0) y)
6.0ms
(/ y (* z 3.0))
22.0ms
(/ t (* (* z 3.0) y))

series167.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
25.0ms
(* (* z 3.0) y)
23.0ms
(/ y (* z 3.0))
32.0ms
(/ t (* (* z 3.0) y))

simplify2.0s

Counts
93 → 93
Iterations
IterNodes
done5000
21597
1406
0149

prune528.0ms

Pruning

9 alts after pruning (9 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.2b
(/ y (* z 3.0))
3.6b
(/ (/ t (* z 3.0)) y)

rewrite123.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:
73.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
11.0ms
(/ t (* z 3.0))
12.0ms
(/ y (* z 3.0))
22.0ms
(/ (/ t (* z 3.0)) y)

series199.0ms

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

simplify1.2s

Counts
121 → 121
Iterations
IterNodes
done5086
21824
1491
0195

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
61×times-frac
53×add-sqr-sqrt
40×*-un-lft-identity add-exp-log
36×add-cube-cbrt
30×add-cbrt-cube
15×div-exp
13×associate-*r* associate-*l*
11×cbrt-undiv
10×prod-exp associate-/l*
9×add-log-exp
8×div-inv
6×pow1 cbrt-unprod unswap-sqr
4×associate-/r*
2×rec-exp associate-+l+ clear-num sum-log frac-2neg 1-exp frac-add
1×frac-times +-commutative sub-neg flip3-+ flip3-- diff-log pow-prod-down associate-*l/ associate-*r/ *-commutative associate-+l- flip-+ flip-- distribute-lft-out associate-/l/
Counts
4 → 143
Calls
4 calls:
45.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t (* z 3.0)) y))
10.0ms
(/ t (* z 3.0))
31.0ms
(* (/ 1 z) (/ y 3.0))
13.0ms
(/ (/ t (* z 3.0)) y)

series224.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t (* z 3.0)) y))
26.0ms
(/ t (* z 3.0))
29.0ms
(* (/ 1 z) (/ y 3.0))
47.0ms
(/ (/ t (* z 3.0)) y)

simplify1.5s

Counts
155 → 155
Iterations
IterNodes
done5071
22750
1766
0271

prune1.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (* (/ 1 z) (/ t 3.0)) y))
0.3b
(* (/ 1 z) (/ t 3.0))
0.3b
(* (/ 1 z) (/ y 3.0))
3.6b
(/ (* (/ 1 z) (/ t 3.0)) y)

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
80×add-exp-log
68×add-sqr-sqrt
53×times-frac
46×add-cbrt-cube
40×*-un-lft-identity
34×add-cube-cbrt
33×div-exp
26×associate-*r* associate-*l*
24×prod-exp
17×cbrt-undiv
12×cbrt-unprod unswap-sqr
9×add-log-exp
8×pow1
6×rec-exp 1-exp
5×div-inv
3×frac-times associate-/r* associate-*l/ associate-*r/ associate-/l/
2×associate-+l+ sum-log pow-prod-down frac-add *-commutative
1×+-commutative clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log associate-+l- flip-+ flip-- distribute-lft-out associate-/l*
Counts
4 → 164
Calls
4 calls:
20.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (* (/ 1 z) (/ t 3.0)) y))
24.0ms
(* (/ 1 z) (/ t 3.0))
20.0ms
(* (/ 1 z) (/ y 3.0))
14.0ms
(/ (* (/ 1 z) (/ t 3.0)) y)

series226.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (* (/ 1 z) (/ t 3.0)) y))
20.0ms
(* (/ 1 z) (/ t 3.0))
23.0ms
(* (/ 1 z) (/ y 3.0))
34.0ms
(/ (* (/ 1 z) (/ t 3.0)) y)

simplify2.0s

Counts
176 → 176
Iterations
IterNodes
done5071
23226
1883
0278

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes353.0ms

Accuracy

0% (1.9b remaining)

Error of 1.9b against oracle of 0.0b and baseline of 1.9b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done19
119
014

end0.0ms

sample1.3s

Algorithm
intervals
Results
885.0ms11164×body80valid