Details

Time bar (total: 44.2s)

sample91.0ms

Algorithm
intervals
Results
44.0ms452×body80valid

simplify6.1s

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

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

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

rewrite217.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:
108.0ms
(+ y (/ (- x z) (/ y (+ z x))))
21.0ms
(/ y (+ z x))
67.0ms
(/ (- x z) (/ y (+ z x)))

series293.0ms

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

simplify3.6s

Counts
195 → 195
Iterations
IterNodes
done5002
22904
1799
0261

prune1.9s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize78.0ms

Local error

Found 2 expressions with local error:

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

rewrite69.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:
62.0ms
(/ (- x z) y)
4.0ms
(fma (+ x z) (/ (- x z) y) y)

series453.0ms

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

simplify4.5s

Counts
56 → 56
Iterations
IterNodes
done5007
31470
2456
1198
093

prune899.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

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

rewrite712.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:
330.0ms
(+ y (/ (/ (- x z) y) (/ 1 (+ z x))))
38.0ms
(/ (- x z) y)
35.0ms
(/ 1 (+ z x))
128.0ms
(/ (/ (- x z) y) (/ 1 (+ z x)))

series349.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(+ y (/ (/ (- x z) y) (/ 1 (+ z x))))
51.0ms
(/ (- x z) y)
100.0ms
(/ 1 (+ z x))
116.0ms
(/ (/ (- x z) y) (/ 1 (+ z x)))

simplify7.0s

Counts
515 → 515
Iterations
IterNodes
done5001
11986
0626

prune4.6s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

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

rewrite123.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:
86.0ms
(* (cbrt (+ x z)) (cbrt (+ x z)))
9.0ms
(cbrt (+ x z))
10.0ms
(cbrt (+ x z))
10.0ms
(cbrt (+ x z))

series1.3s

Counts
4 → 12
Calls
4 calls:
438.0ms
(* (cbrt (+ x z)) (cbrt (+ x z)))
287.0ms
(cbrt (+ x z))
289.0ms
(cbrt (+ x z))
294.0ms
(cbrt (+ x z))

simplify5.1s

Counts
115 → 115
Iterations
IterNodes
done5001
31882
2698
1285
0120

prune1.8s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes346.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

sample4.2s

Algorithm
intervals
Results
3.5s13549×body80valid