Details

Time bar (total: 16.4s)

sample53.0ms

Algorithm
intervals
Results
36.0ms342×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done2001
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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.3b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite107.0ms

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

series196.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(- x (/ y (* z 3.0)))
31.0ms
(/ y (* z 3.0))
31.0ms
(* (* z 3.0) y)
60.0ms
(/ t (* (* z 3.0) y))

simplify902.0ms

Counts
124 → 124
Iterations
IterNodes
done2008
21603
1475
0190

prune644.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

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

series156.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(- x (/ y (* z 3.0)))
25.0ms
(/ y (* z 3.0))
31.0ms
(/ t (* z 3.0))
48.0ms
(/ (/ t (* z 3.0)) y)

simplify863.0ms

Counts
152 → 152
Iterations
IterNodes
done2000
21750
1567
0236

prune909.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
312×times-frac
222×add-sqr-sqrt
215×*-un-lft-identity
213×add-cube-cbrt
129×prod-diff
23×add-cbrt-cube add-exp-log div-inv associate-/l*
10×cbrt-undiv div-exp
7×associate-/r*
6×add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×clear-num frac-2neg fma-neg difference-of-squares
2×prod-exp cbrt-unprod associate-/l/
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 299
Calls
4 calls:
20.0ms
(- x (/ (/ y z) 3.0))
16.0ms
(/ (/ y z) 3.0)
13.0ms
(/ t (* z 3.0))
23.0ms
(/ (/ t (* z 3.0)) y)

series182.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(- x (/ (/ y z) 3.0))
24.0ms
(/ (/ y z) 3.0)
33.0ms
(/ t (* z 3.0))
62.0ms
(/ (/ t (* z 3.0)) y)

simplify983.0ms

Counts
311 → 311
Iterations
IterNodes
done2009
11569
0598

prune2.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ (/ y z) 3.0))
0.2b
(/ (/ y z) 3.0)
0.2b
(/ (/ t z) 3.0)
3.2b
(/ (/ (/ t z) 3.0) y)

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
744×times-frac
430×add-sqr-sqrt
423×*-un-lft-identity
421×add-cube-cbrt
129×prod-diff
69×associate-/l*
39×div-inv
23×add-cbrt-cube add-exp-log
12×cbrt-undiv div-exp
9×associate-/r*
6×add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×clear-num frac-2neg fma-neg difference-of-squares associate-/l/
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 492
Calls
4 calls:
16.0ms
(- x (/ (/ y z) 3.0))
8.0ms
(/ (/ y z) 3.0)
8.0ms
(/ (/ t z) 3.0)
24.0ms
(/ (/ (/ t z) 3.0) y)

series179.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(- x (/ (/ y z) 3.0))
36.0ms
(/ (/ y z) 3.0)
26.0ms
(/ (/ t z) 3.0)
61.0ms
(/ (/ (/ t z) 3.0) y)

simplify825.0ms

Counts
504 → 504
Iterations
IterNodes
done2000
0905

prune3.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes222.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done14
114
012

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.4s11070×body80valid