Details

Time bar (total: 2.0m)

sample50.0ms

Algorithm
intervals
Results
25.0ms433×body80valid

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
done5000
74383
61002
5377
4203
3110
259
123
011

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
39×add-sqr-sqrt
32×add-cube-cbrt
25×times-frac
18×prod-diff
16×associate-*l*
11×distribute-rgt-in distribute-lft-in
9×add-cbrt-cube add-exp-log
7×distribute-lft-out
5×associate-*r*
4×pow1 associate-/l*
3×associate-/r*
2×expm1-log1p-u frac-times cbrt-undiv sub-neg flip3-- div-exp prod-exp associate-*r/ cbrt-unprod log1p-expm1-u div-inv flip-- add-log-exp unswap-sqr associate-/l/
1×clear-num frac-2neg flip3-+ pow-prod-down associate-*l/ *-commutative flip-+ distribute-lft-out-- difference-of-squares
Counts
2 → 100
Calls
2 calls:
33.0ms
(/ (+ z x) y)
43.0ms
(* (/ (+ z x) y) (- x z))

series88.0ms

Counts
2 → 6
Calls
2 calls:
21.0ms
(/ (+ z x) y)
67.0ms
(* (/ (+ z x) y) (- x z))

simplify2.2s

Counts
106 → 106
Iterations
IterNodes
done5000
23140
1516
0180

prune477.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ x (/ y x)) (/ z (/ y z)))
0.1b
(/ z (/ y z))
0.2b
(/ x (/ y x))

rewrite996.0ms

Algorithm
rewrite-expression-head
Rules
6058×times-frac
3240×add-sqr-sqrt
3224×*-un-lft-identity
3204×add-cube-cbrt
1936×prod-diff
368×div-inv
91×associate-/r/
44×fma-neg
26×associate-/r*
13×add-cbrt-cube add-exp-log
9×difference-of-squares
6×cbrt-undiv div-exp associate-/l* distribute-lft-out--
5×add-log-exp
3×expm1-log1p-u pow1 log1p-expm1-u
2×clear-num frac-2neg
1×sub-neg flip3-- diff-log frac-sub flip--
Counts
3 → 2154
Calls
3 calls:
195.0ms
(- (/ x (/ y x)) (/ z (/ y z)))
14.0ms
(/ z (/ y z))
9.0ms
(/ x (/ y x))

series126.0ms

Counts
3 → 9
Calls
3 calls:
57.0ms
(- (/ x (/ y x)) (/ z (/ y z)))
33.0ms
(/ z (/ y z))
35.0ms
(/ x (/ y x))

simplify1.4s

Counts
2163 → 2163
Iterations
IterNodes
done5001
02429

prune17.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ x (/ y x)) (/ (/ z y) (/ 1 z)))
0.2b
(/ x (/ y x))
0.2b
(/ (/ z y) (/ 1 z))

rewrite3.1s

Algorithm
rewrite-expression-head
Rules
29846×times-frac
14514×add-sqr-sqrt
14439×*-un-lft-identity
14418×add-cube-cbrt
7656×prod-diff
1923×div-inv
221×associate-/r/
44×fma-neg
30×add-exp-log
26×associate-/r*
21×difference-of-squares
20×add-cbrt-cube
19×div-exp
16×associate-/l*
11×cbrt-undiv
5×add-log-exp
4×distribute-lft-out--
3×expm1-log1p-u pow1 log1p-expm1-u
2×rec-exp clear-num frac-2neg 1-exp
1×sub-neg flip3-- diff-log frac-sub flip-- associate-/l/
Counts
3 → 8033
Calls
3 calls:
639.0ms
(- (/ x (/ y x)) (/ (/ z y) (/ 1 z)))
7.0ms
(/ x (/ y x))
21.0ms
(/ (/ z y) (/ 1 z))

series165.0ms

Counts
3 → 9
Calls
3 calls:
88.0ms
(- (/ x (/ y x)) (/ (/ z y) (/ 1 z)))
39.0ms
(/ x (/ y x))
38.0ms
(/ (/ z y) (/ 1 z))

simplify4.3s

Counts
8042 → 8042
Iterations
IterNodes
done8307
08307

prune1.4m

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.8b
(/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
0.8b
(/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
40.7b
(fma (/ (- z) (/ (cbrt y) (cbrt z))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (/ z (/ (cbrt y) (cbrt z))) 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
92×add-exp-log
44×div-exp
38×times-frac
25×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
24×add-cbrt-cube prod-exp
18×cbrt-undiv
10×rec-exp associate-/r* 1-exp div-inv
8×cbrt-unprod
6×pow1 associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod
2×clear-num frac-2neg associate-/r/ pow-flip inv-pow
1×pow1/3 fma-udef
Counts
4 → 139
Calls
4 calls:
1.0ms
(cbrt z)
40.0ms
(/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
27.0ms
(/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
0.0ms
(fma (/ (- z) (/ (cbrt y) (cbrt z))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (/ z (/ (cbrt y) (cbrt z))) 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

series770.0ms

Counts
4 → 12
Calls
4 calls:
240.0ms
(cbrt z)
169.0ms
(/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
132.0ms
(/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
227.0ms
(fma (/ (- z) (/ (cbrt y) (cbrt z))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (/ z (/ (cbrt y) (cbrt z))) 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))

simplify1.3s

Counts
151 → 151
Iterations
IterNodes
done5000
22391
1480
0185

prune1.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes233.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done16
116
013

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.2s13741×body80valid