Details

Time bar (total: 10.9s)

sample39.0ms

Algorithm
intervals
Results
26.0ms342×body80valid

simplify1.3s

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.3b

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

rewrite65.0ms

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

series164.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- x (/ y (* z 3.0)))
34.0ms
(/ y (* z 3.0))
37.0ms
(* (* z 3.0) y)
53.0ms
(/ t (* (* z 3.0) y))

simplify607.0ms

Counts
92 → 92
Iterations
IterNodes
done2156
21166
1325
0132

prune412.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
26×add-sqr-sqrt *-un-lft-identity
24×add-cube-cbrt
23×add-cbrt-cube add-exp-log
13×associate-/l*
9×cbrt-undiv div-exp
7×div-inv
6×add-log-exp
5×associate-/r*
4×pow1 insert-posit16
3×clear-num frac-2neg prod-exp cbrt-unprod
1×sub-neg flip3-- diff-log flip-- distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 108
Calls
4 calls:
15.0ms
(- x (/ y (* z 3.0)))
8.0ms
(/ y (* z 3.0))
7.0ms
(/ t (* z 3.0))
15.0ms
(/ (/ t (* z 3.0)) y)

series164.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(- x (/ y (* z 3.0)))
24.0ms
(/ y (* z 3.0))
29.0ms
(/ t (* z 3.0))
52.0ms
(/ (/ t (* z 3.0)) y)

simplify715.0ms

Counts
120 → 120
Iterations
IterNodes
done2132
21449
1419
0178

prune519.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
73×add-sqr-sqrt
66×*-un-lft-identity
64×add-cube-cbrt
23×add-cbrt-cube add-exp-log associate-/l*
11×div-inv
10×cbrt-undiv div-exp
7×associate-/r*
6×add-log-exp
4×pow1 insert-posit16
3×clear-num frac-2neg difference-of-squares
2×prod-exp cbrt-unprod associate-/l/
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 159
Calls
4 calls:
11.0ms
(- x (/ (/ y z) 3.0))
12.0ms
(/ (/ y z) 3.0)
15.0ms
(/ t (* z 3.0))
19.0ms
(/ (/ t (* z 3.0)) y)

series148.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(- x (/ (/ y z) 3.0))
33.0ms
(/ (/ y z) 3.0)
28.0ms
(/ t (* z 3.0))
41.0ms
(/ (/ t (* z 3.0)) y)

simplify439.0ms

Counts
171 → 171
Iterations
IterNodes
done2001
1688
0292

prune872.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

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

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
546×times-frac
281×add-sqr-sqrt
274×*-un-lft-identity
272×add-cube-cbrt
69×associate-/l*
27×div-inv
23×add-cbrt-cube add-exp-log
12×cbrt-undiv div-exp
9×associate-/r*
6×add-log-exp
4×pow1 insert-posit16
3×clear-num frac-2neg difference-of-squares associate-/l/
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 352
Calls
4 calls:
10.0ms
(- x (/ (/ y z) 3.0))
14.0ms
(/ (/ y z) 3.0)
12.0ms
(/ (/ t z) 3.0)
11.0ms
(/ (/ (/ t z) 3.0) y)

series135.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(- x (/ (/ y z) 3.0))
21.0ms
(/ (/ y z) 3.0)
28.0ms
(/ (/ t z) 3.0)
44.0ms
(/ (/ (/ t z) 3.0) y)

simplify786.0ms

Counts
364 → 364
Iterations
IterNodes
done2001
11472
0599

prune2.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes281.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done14
114
012

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.6s11070×body80valid