Details

Time bar (total: 30.0s)

sample59.0ms

Algorithm
intervals
Results
40.0ms347×body80valid

simplify3.8s

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.0b

localize37.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))
7.5b
(/ t (* (* z 3.0) y))

rewrite145.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 insert-posit16 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 → 119
Calls
4 calls:
87.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
28.0ms
(* (* z 3.0) y)
7.0ms
(/ y (* z 3.0))
21.0ms
(/ t (* (* z 3.0) y))

series218.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
36.0ms
(* (* z 3.0) y)
24.0ms
(/ y (* z 3.0))
42.0ms
(/ t (* (* z 3.0) y))

simplify1.7s

Counts
131 → 131
Iterations
IterNodes
done5015
22037
1514
0188

prune815.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite190.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 insert-posit16 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 → 147
Calls
4 calls:
126.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
14.0ms
(/ y (* z 3.0))
21.0ms
(/ t (* z 3.0))
25.0ms
(/ (/ t (* z 3.0)) y)

series214.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
34.0ms
(/ y (* z 3.0))
21.0ms
(/ t (* z 3.0))
36.0ms
(/ (/ t (* z 3.0)) y)

simplify1.5s

Counts
159 → 159
Iterations
IterNodes
done5011
22061
1598
0234

prune1.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
1988×times-frac
874×*-un-lft-identity
869×add-sqr-sqrt
867×add-cube-cbrt
111×div-inv
58×associate-/r*
53×add-exp-log
35×add-cbrt-cube div-exp
23×associate-+l+
21×prod-diff
20×cbrt-undiv
19×associate-/l*
16×associate-/r/
9×add-log-exp
5×fma-def
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×rec-exp clear-num frac-2neg 1-exp
2×sum-log frac-add distribute-lft-out distribute-lft-out--
1×+-commutative sub-neg flip3-+ flip3-- diff-log prod-exp associate-+l- cbrt-unprod flip-+ flip-- difference-of-squares associate-/l/
Counts
4 → 807
Calls
4 calls:
100.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ 1 z) (/ y (/ t 3.0))))
9.0ms
(/ y (/ t 3.0))
13.0ms
(/ y (* z 3.0))
12.0ms
(/ (/ 1 z) (/ y (/ t 3.0)))

series275.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ 1 z) (/ y (/ t 3.0))))
56.0ms
(/ y (/ t 3.0))
42.0ms
(/ y (* z 3.0))
38.0ms
(/ (/ 1 z) (/ y (/ t 3.0)))

simplify3.6s

Counts
819 → 819
Iterations
IterNodes
done5000
14630
01346

prune4.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
2567×times-frac
1130×*-un-lft-identity
1125×add-sqr-sqrt
1123×add-cube-cbrt
190×associate-/l*
142×div-inv
63×add-exp-log
43×div-exp
39×add-cbrt-cube
23×cbrt-undiv associate-+l+
21×prod-diff
17×associate-/r*
9×add-log-exp
5×fma-def associate-/r/
4×expm1-log1p-u pow1 rec-exp 1-exp insert-posit16 log1p-expm1-u
3×clear-num frac-2neg
2×sum-log frac-add distribute-lft-out distribute-lft-out-- associate-/l/
1×+-commutative sub-neg flip3-+ flip3-- diff-log prod-exp associate-+l- cbrt-unprod flip-+ flip-- difference-of-squares
Counts
4 → 1021
Calls
4 calls:
99.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ (/ 1 z) (/ y t)) 3.0))
31.0ms
(/ (/ (/ 1 z) (/ y t)) 3.0)
13.0ms
(/ y (* z 3.0))
15.0ms
(/ (/ 1 z) (/ y t))

series264.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ (/ 1 z) (/ y t)) 3.0))
43.0ms
(/ (/ (/ 1 z) (/ y t)) 3.0)
57.0ms
(/ y (* z 3.0))
41.0ms
(/ (/ 1 z) (/ y t))

simplify3.6s

Counts
1033 → 1033
Iterations
IterNodes
done5001
13988
01578

prune5.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes276.0ms

Accuracy

0% (3.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done18
118
014

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.8s11054×body80valid