Details

Time bar (total: 26.7s)

sample94.0ms

Algorithm
intervals
Results
36.0ms56×body1280valid
18.0ms50×body640valid
9.0ms145×body80valid
7.0ms28×body320valid
5.0ms97×body80nan
2.0ms13×body160valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5001
71916
6531
5212
489
341
222
115
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.3b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (+ x y))
0.1b
(* x (log (/ x (+ x y))))
7.7b
(log (/ x (+ x y)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
54×log-prod
48×times-frac
40×add-sqr-sqrt
38×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
13×distribute-lft-out
10×add-exp-log
8×associate-/r/
7×pow1 add-cbrt-cube
4×associate-/r* flip3-+ associate-*r* flip-+ div-inv
3×associate-*l* associate-/l* add-log-exp
2×div-exp rem-log-exp log-pow
1×cbrt-undiv log-div clear-num frac-2neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 117
Calls
3 calls:
18.0ms
(/ x (+ x y))
34.0ms
(* x (log (/ x (+ x y))))
11.0ms
(log (/ x (+ x y)))

series363.0ms

Counts
3 → 9
Calls
3 calls:
75.0ms
(/ x (+ x y))
185.0ms
(* x (log (/ x (+ x y))))
102.0ms
(log (/ x (+ x y)))

simplify2.7s

Counts
126 → 126
Iterations
IterNodes
done5006
33914
2807
1357
0167

prune658.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.3b

localize87.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x y))
3.9b
(log (/ (cbrt x) (cbrt (+ x y))))
3.9b
(log (/ (cbrt x) (cbrt (+ x y))))
3.9b
(log (/ (cbrt x) (cbrt (+ x y))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
144×log-prod
139×cbrt-prod
126×times-frac
124×*-un-lft-identity
86×add-sqr-sqrt add-cube-cbrt
19×distribute-lft-out
13×add-exp-log
8×cbrt-div
7×pow1
6×rem-log-exp associate-/r/
4×flip3-+ add-cbrt-cube flip-+ add-log-exp
3×log-div div-exp log-pow div-inv
1×pow1/3
Counts
4 → 191
Calls
4 calls:
3.0ms
(cbrt (+ x y))
7.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
7.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
9.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

series499.0ms

Counts
4 → 12
Calls
4 calls:
155.0ms
(cbrt (+ x y))
128.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
104.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
111.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

simplify2.7s

Counts
203 → 203
Iterations
IterNodes
done5010
44106
31712
2672
1359
0189

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.8b

localize237.0ms

Local error

Found 4 expressions with local error:

3.6b
(log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))
3.9b
(log (/ (cbrt x) (cbrt (+ x y))))
3.9b
(log (/ (cbrt x) (cbrt (+ x y))))
23.0b
(log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y))))))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
280×cbrt-prod
208×log-prod
178×times-frac
160×*-un-lft-identity
118×add-sqr-sqrt add-cube-cbrt
32×cbrt-div
21×distribute-lft-out
19×add-exp-log
14×associate-/r/
9×flip3-+ rem-log-exp flip-+
8×pow1
5×div-exp
4×frac-times log-div add-cbrt-cube log-pow div-inv add-log-exp
2×associate-*l/ associate-*r/
1×prod-exp
Counts
4 → 253
Calls
4 calls:
18.0ms
(log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))
7.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
7.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
21.0ms
(log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y))))))

series492.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))
118.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
113.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
146.0ms
(log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y))))))

simplify2.8s

Counts
265 → 265
Iterations
IterNodes
done5001
33466
21225
1788
0452

prune2.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.6b

localize208.0ms

Local error

Found 4 expressions with local error:

3.6b
(log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))
3.9b
(log (/ (cbrt x) (cbrt (+ x y))))
3.9b
(log (/ (cbrt x) (cbrt (+ x y))))
23.0b
(log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
280×cbrt-prod
208×log-prod
178×times-frac
160×*-un-lft-identity
118×add-sqr-sqrt add-cube-cbrt
28×cbrt-div
21×distribute-lft-out
19×add-exp-log
14×associate-/r/
9×flip3-+ rem-log-exp flip-+
8×pow1
5×div-exp
4×frac-times log-div add-cbrt-cube log-pow div-inv add-log-exp
2×associate-*l/ associate-*r/
1×prod-exp
Counts
4 → 253
Calls
4 calls:
12.0ms
(log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))
10.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
12.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
10.0ms
(log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))))

series476.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))
93.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
136.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
135.0ms
(log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))))

simplify2.5s

Counts
265 → 265
Iterations
IterNodes
done5000
33637
21304
1799
0466

prune2.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.4b

regimes251.0ms

Accuracy

45.3% (2.6b remaining)

Error of 3.6b against oracle of 1.0b and baseline of 5.8b

bsearch370.0ms

Steps
ItersRangePoint
9
5.419417731024657e+50
1.3033505323871184e+57
1.2447999358646297e+53
10
595377.2589799166
3.2296043314775124e+20
607910.6709502768

simplify43.0ms

Iterations
IterNodes
done69
169
056

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.1s1504×body1280valid
839.0ms1499×body640valid
745.0ms3063×body80nan
367.0ms4873×body80valid
309.0ms806×body320valid
126.0ms463×body160valid