Details

Time bar (total: 28.4s)

sample70.0ms

Algorithm
intervals
Results
38.0ms452×body80valid

simplify3.7s

Counts
1 → 1
Iterations
IterNodes
done5000
71742
6586
5291
4185
3108
257
123
011

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
174×times-frac
164×*-un-lft-identity
118×add-sqr-sqrt
80×add-cube-cbrt
23×distribute-lft-out
22×associate-/r*
19×distribute-lft-out-- difference-of-squares
15×associate-/r/
10×add-exp-log add-cbrt-cube
8×flip3-+ flip-+ div-inv associate-/l*
5×add-log-exp
4×cbrt-undiv div-exp
3×pow1 expm1-log1p-u fma-def log1p-expm1-u
2×frac-2neg div-sub clear-num associate-/l/
1×+-commutative associate-+r- flip3-- sum-log flip--
Counts
3 → 186
Calls
3 calls:
119.0ms
(+ y (/ (- x z) (/ y (+ z x))))
22.0ms
(/ y (+ z x))
61.0ms
(/ (- x z) (/ y (+ z x)))

series271.0ms

Counts
3 → 9
Calls
3 calls:
94.0ms
(+ y (/ (- x z) (/ y (+ z x))))
60.0ms
(/ y (+ z x))
117.0ms
(/ (- x z) (/ y (+ z x)))

simplify3.1s

Counts
195 → 195
Iterations
IterNodes
done5002
22904
1799
0261

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- x z) y)
0.1b
(fma (+ x z) (/ (- x z) y) y)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/l*
4×add-exp-log add-cbrt-cube distribute-lft-out-- difference-of-squares
3×associate-/r*
2×pow1 expm1-log1p-u log1p-expm1-u associate-/l/ add-log-exp
1×cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- fma-udef div-inv
Counts
2 → 50
Calls
2 calls:
39.0ms
(/ (- x z) y)
1.0ms
(fma (+ x z) (/ (- x z) y) y)

series208.0ms

Counts
2 → 6
Calls
2 calls:
66.0ms
(/ (- x z) y)
142.0ms
(fma (+ x z) (/ (- x z) y) y)

simplify2.3s

Counts
56 → 56
Iterations
IterNodes
done5007
31470
2456
1198
093

prune491.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (/ (/ (- x z) y) (/ 1 (+ z x))))
0.0b
(/ (- x z) y)
0.0b
(/ 1 (+ z x))
0.3b
(/ (/ (- x z) y) (/ 1 (+ z x)))

rewrite499.0ms

Algorithm
rewrite-expression-head
Rules
894×times-frac
607×*-un-lft-identity
477×add-sqr-sqrt
355×add-cube-cbrt
65×distribute-lft-out
61×distribute-lft-out-- difference-of-squares
43×associate-/r/
42×div-inv
32×add-exp-log
27×associate-/l*
25×associate-/r*
22×flip3-+ flip-+
20×add-cbrt-cube
19×div-exp
10×cbrt-undiv
6×add-log-exp
5×pow1 div-sub
4×expm1-log1p-u log1p-expm1-u
3×rec-exp fma-def frac-2neg 1-exp clear-num associate-/l/
1×+-commutative associate-+r- flip3-- pow-flip sum-log flip-- inv-pow
Counts
4 → 503
Calls
4 calls:
272.0ms
(+ y (/ (/ (- x z) y) (/ 1 (+ z x))))
38.0ms
(/ (- x z) y)
23.0ms
(/ 1 (+ z x))
87.0ms
(/ (/ (- x z) y) (/ 1 (+ z x)))

series412.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(+ y (/ (/ (- x z) y) (/ 1 (+ z x))))
73.0ms
(/ (- x z) y)
85.0ms
(/ 1 (+ z x))
147.0ms
(/ (/ (- x z) y) (/ 1 (+ z x)))

simplify2.8s

Counts
515 → 515
Iterations
IterNodes
done5001
11986
0626

prune3.3s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ x z)) (cbrt (+ x z)))
0.6b
(cbrt (+ x z))
0.6b
(cbrt (+ x z))
0.6b
(cbrt (+ x z))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
35×*-un-lft-identity
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 swap-sqr flip-+ distribute-lft-out
7×associate-*r* associate-*l*
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 103
Calls
4 calls:
92.0ms
(* (cbrt (+ x z)) (cbrt (+ x z)))
10.0ms
(cbrt (+ x z))
9.0ms
(cbrt (+ x z))
9.0ms
(cbrt (+ x z))

series1.4s

Counts
4 → 12
Calls
4 calls:
409.0ms
(* (cbrt (+ x z)) (cbrt (+ x z)))
312.0ms
(cbrt (+ x z))
336.0ms
(cbrt (+ x z))
316.0ms
(cbrt (+ x z))

simplify3.3s

Counts
115 → 115
Iterations
IterNodes
done5001
31882
2698
1285
0120

prune1.1s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes318.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done15
115
011

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.4s13549×body80valid