Details

Time bar (total: 22.8s)

sample90.0ms

Algorithm
intervals
Results
29.0ms218×body80valid
14.0ms20×body1280valid
13.0ms36×body640valid
6.0ms107×body80nan
4.0ms19×body320valid
1.0ms5×body160valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
01013
11813
22711
35211
411011
524911
659011
7185511
done500011

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.4b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ z y))
0.0b
(/ (exp (* y (log (/ y (+ z y))))) y)
0.1b
(* y (log (/ y (+ z y))))
6.6b
(log (/ y (+ z y)))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
261×times-frac
221×*-un-lft-identity
198×log-prod
149×add-sqr-sqrt
147×add-cube-cbrt
144×exp-sum
90×distribute-rgt-in distribute-lft-in
42×associate-/l*
37×distribute-lft-out
24×associate-/r/
13×div-inv
12×add-exp-log flip3-+ flip-+
10×add-cbrt-cube
8×pow1
7×associate-/r*
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×div-exp associate-*l*
2×cbrt-undiv frac-2neg rem-log-exp clear-num log-pow
1×log-div pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 296
Calls
4 calls:
21.0ms
(/ y (+ z y))
87.0ms
(/ (exp (* y (log (/ y (+ z y))))) y)
43.0ms
(* y (log (/ y (+ z y))))
7.0ms
(log (/ y (+ z y)))

series447.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(/ y (+ z y))
189.0ms
(/ (exp (* y (log (/ y (+ z y))))) y)
114.0ms
(* y (log (/ y (+ z y))))
74.0ms
(log (/ y (+ z y)))

simplify3.3s

Counts
308 → 308
Iterations

Useful iterations: 3 (2.1s)

IterNodesCost
04775632
18334772
216844591
349694499
done50004499

prune894.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ z y))
0.6b
(cbrt y)
0.6b
(cbrt y)
3.3b
(log (/ (cbrt y) (cbrt (+ z y))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
55×cbrt-prod
48×log-prod *-un-lft-identity
42×times-frac
34×add-sqr-sqrt add-cube-cbrt
7×add-exp-log distribute-lft-out
5×pow1
4×expm1-log1p-u cbrt-div add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
2×flip3-+ rem-log-exp associate-/r/ flip-+
1×log-div div-exp log-pow div-inv
Counts
4 → 103
Calls
4 calls:
8.0ms
(cbrt (+ z y))
2.0ms
(cbrt y)
2.0ms
(cbrt y)
17.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

series828.0ms

Counts
4 → 12
Calls
4 calls:
207.0ms
(cbrt (+ z y))
234.0ms
(cbrt y)
261.0ms
(cbrt y)
126.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

simplify2.9s

Counts
115 → 115
Iterations

Useful iterations: done (2.9s)

IterNodesCost
02021395
13821300
27421243
315491199
438781197
done50001192

prune603.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (sqrt (pow (/ y (+ z y)) y)))
0.1b
(* y (log (/ y (+ z y))))
3.2b
(pow (/ y (+ z y)) y)
6.6b
(log (/ y (+ z y)))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
171×times-frac
153×*-un-lft-identity
107×add-sqr-sqrt
105×add-cube-cbrt
90×unpow-prod-down
88×sqrt-prod
54×log-prod
25×associate-/r*
24×distribute-lft-out
18×distribute-rgt-in distribute-lft-in
16×associate-/r/
14×add-exp-log
9×pow1 div-inv
8×flip3-+ add-cbrt-cube flip-+
5×sqr-pow
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×pow-unpow div-exp associate-*l* associate-/l*
2×rem-log-exp pow-exp log-pow
1×cbrt-undiv pow-to-exp log-div pow-pow frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
4 → 240
Calls
4 calls:
56.0ms
(/ y (sqrt (pow (/ y (+ z y)) y)))
47.0ms
(* y (log (/ y (+ z y))))
24.0ms
(pow (/ y (+ z y)) y)
12.0ms
(log (/ y (+ z y)))

series1.1s

Counts
4 → 12
Calls
4 calls:
540.0ms
(/ y (sqrt (pow (/ y (+ z y)) y)))
118.0ms
(* y (log (/ y (+ z y))))
343.0ms
(pow (/ y (+ z y)) y)
72.0ms
(log (/ y (+ z y)))

simplify1.8s

Counts
252 → 252
Iterations

Useful iterations: done (1.8s)

IterNodesCost
04264348
17384046
216913934
done50013882

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(* y (log (/ y (+ z y))))
0.2b
(log1p (expm1 (/ y (sqrt (pow (/ y (+ z y)) y)))))
3.2b
(pow (/ y (+ z y)) y)
6.6b
(log (/ y (+ z y)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
54×log-prod
48×times-frac
41×add-sqr-sqrt
39×add-cube-cbrt
18×distribute-rgt-in unpow-prod-down distribute-lft-in
12×add-exp-log distribute-lft-out
9×pow1
8×associate-/r/
6×add-cbrt-cube
4×expm1-log1p-u flip3-+ associate-*r* flip-+ log1p-expm1-u div-inv add-log-exp
3×pow-unpow associate-*l*
2×div-exp rem-log-exp pow-exp log-pow
1×pow-to-exp log-div log1p-udef pow-pow log1p-expm1 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr sqr-pow
Counts
4 → 134
Calls
4 calls:
21.0ms
(* y (log (/ y (+ z y))))
0.0ms
(log1p (expm1 (/ y (sqrt (pow (/ y (+ z y)) y)))))
13.0ms
(pow (/ y (+ z y)) y)
7.0ms
(log (/ y (+ z y)))

series814.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(* y (log (/ y (+ z y))))
262.0ms
(log1p (expm1 (/ y (sqrt (pow (/ y (+ z y)) y)))))
358.0ms
(pow (/ y (+ z y)) y)
67.0ms
(log (/ y (+ z y)))

simplify1.6s

Counts
146 → 146
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02972236
16302075
216261965
done50001862

prune894.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes110.0ms

Accuracy

0% (0.8b remaining)

Error of 1.0b against oracle of 0.2b and baseline of 1.0b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01627
12027
done2027

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.2s6619×body80valid
612.0ms766×body1280valid
393.0ms882×body640valid
242.0ms581×body320valid
197.0ms3102×body80nan
52.0ms285×body160valid