Details

Time bar (total: 9.1s)

sample63.0ms

Algorithm
intervals
Results
22.0ms54×body1280valid
15.0ms51×body640valid
6.0ms149×body80valid
4.0ms28×body320valid
2.0ms87×body80nan
1.0ms8×body160valid

simplify119.0ms

Counts
1 → 1
Iterations

Useful iterations: 4 (11.0ms)

IterNodesCost
0156
1246
2516
31086
43104
57924
641924
750024
done50024

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.0b

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

rewrite45.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×flip3-+ associate-*r* associate-/r* flip-+ div-inv
3×expm1-log1p-u associate-*l* log1p-expm1-u associate-/l* add-log-exp
2×div-exp rem-log-exp log-pow
1×cbrt-undiv log-div frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
3 → 123
Calls
3 calls:
14.0ms
(/ x (+ x y))
19.0ms
(* x (log (/ x (+ x y))))
7.0ms
(log (/ x (+ x y)))

series176.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(/ x (+ x y))
83.0ms
(* x (log (/ x (+ x y))))
51.0ms
(log (/ x (+ x y)))

simplify111.0ms

Counts
132 → 132
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0302874
11266813
24974783
35001783
done5001783

prune270.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.9b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
98×cbrt-prod
96×log-prod
88×*-un-lft-identity
84×times-frac
60×add-sqr-sqrt add-cube-cbrt
14×distribute-lft-out
10×add-exp-log
8×cbrt-div
6×pow1
4×expm1-log1p-u flip3-+ rem-log-exp associate-/r/ add-cbrt-cube flip-+ log1p-expm1-u add-log-exp
2×log-div pow1/3 div-exp log-pow div-inv
Counts
4 → 154
Calls
4 calls:
4.0ms
(cbrt (+ x y))
4.0ms
(cbrt (+ x y))
9.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
9.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

series424.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(cbrt (+ x y))
133.0ms
(cbrt (+ x y))
77.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
76.0ms
(log (/ (cbrt x) (cbrt (+ x y))))

simplify134.0ms

Counts
166 → 166
Iterations

Useful iterations: 3 (121.0ms)

IterNodesCost
03621602
19631550
240231518
350021508
done50021508

prune708.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.7b

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt (+ x y)))
0.6b
(cbrt (cbrt (+ x y)))
3.0b
(log (/ (cbrt x) (cbrt (+ x y))))
29.0b
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (cbrt (cbrt (+ x y))))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
118×cbrt-div
84×log-prod
70×cbrt-prod
54×*-un-lft-identity
48×times-frac
38×add-sqr-sqrt add-cube-cbrt
30×flip3-+ flip-+
28×frac-times associate-/r/
17×add-exp-log
14×associate-*l/
8×associate-*r/ distribute-lft-out
6×pow1 rem-log-exp
4×expm1-log1p-u div-exp add-cbrt-cube log1p-expm1-u add-log-exp
3×prod-exp
2×log-div pow1/3 log-pow div-inv
Counts
4 → 150
Calls
4 calls:
4.0ms
(cbrt (cbrt (+ x y)))
4.0ms
(cbrt (cbrt (+ x y)))
9.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
67.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (cbrt (cbrt (+ x y))))))

series573.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(cbrt (cbrt (+ x y)))
207.0ms
(cbrt (cbrt (+ x y)))
76.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
81.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (cbrt (cbrt (+ x y))))))

simplify161.0ms

Counts
162 → 162
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
06502211
113882103
249541821
350011821
done50011821

prune751.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.7b

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))
0.6b
(cbrt (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))
3.0b
(log (/ (cbrt x) (cbrt (+ x y))))
26.3b
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (* (cbrt (cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))) (cbrt (cbrt (cbrt (+ x y))))))))

rewrite262.0ms

Algorithm
rewrite-expression-head
Rules
1940×cbrt-div
576×frac-times
418×flip3-+ flip-+
300×log-prod
244×associate-/r/
192×associate-*l/
156×associate-*r/
54×cbrt-prod
48×times-frac
47×*-un-lft-identity
35×add-sqr-sqrt add-cube-cbrt
26×add-exp-log
8×rem-log-exp prod-exp
6×pow1 div-exp distribute-lft-out
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
2×log-div pow1/3 log-pow div-inv
Counts
4 → 371
Calls
4 calls:
13.0ms
(cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))
5.0ms
(cbrt (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))
9.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
153.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (* (cbrt (cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))) (cbrt (cbrt (cbrt (+ x y))))))))

series707.0ms

Counts
4 → 12
Calls
4 calls:
277.0ms
(cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))
274.0ms
(cbrt (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))
78.0ms
(log (/ (cbrt x) (cbrt (+ x y))))
78.0ms
(log (/ (cbrt x) (* (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))) (* (cbrt (cbrt (* (cbrt (+ x y)) (cbrt (+ x y))))) (cbrt (cbrt (cbrt (+ x y))))))))

simplify145.0ms

Counts
383 → 383
Iterations

Useful iterations: 1 (41.0ms)

IterNodesCost
0359514256
1500114102
done500114102

prune2.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.7b

regimes52.0ms

Accuracy

35.7% (2.8b remaining)

Error of 4.1b against oracle of 1.3b and baseline of 5.7b

bsearch59.0ms

Steps
ItersRangePoint
7
2.9747277857311056e+25
1.4945517842790262e+27
3.0175644937213605e+25

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04250
14250
done4250

end0.0ms

sample1.7s

Algorithm
intervals
Results
613.0ms1481×body1280valid
356.0ms1490×body640valid
193.0ms4783×body80valid
125.0ms836×body320valid
80.0ms2967×body80nan
44.0ms472×body160valid