Details

Time bar (total: 10.1s)

sample11.0ms

Algorithm
intervals
Results
4.0ms256×body80valid

simplify13.0ms

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (/ 1.0 3.0))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
3×*-un-lft-identity add-log-exp
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt flip3-+ sum-log add-cbrt-cube flip-+ distribute-lft-out
Counts
1 → 12
Calls
1 calls:
11.0ms
(+ x (/ 1.0 3.0))

series20.0ms

Counts
1 → 3
Calls
1 calls:
20.0ms
(+ x (/ 1.0 3.0))

simplify1.9s

Counts
15 → 15

prune44.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (/ 1.0 3.0))
1.4b
(exp (log (+ x (/ 1.0 3.0))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
4×add-sqr-sqrt add-cube-cbrt log-prod exp-prod exp-sum add-log-exp
3×pow1
2×add-exp-log log-div flip3-+ exp-diff add-cbrt-cube flip-+ distribute-lft-out
1×+-commutative sum-log log-pow rem-exp-log
Counts
2 → 30
Calls
2 calls:
15.0ms
(+ x (/ 1.0 3.0))
21.0ms
(exp (log (+ x (/ 1.0 3.0))))

series62.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(+ x (/ 1.0 3.0))
29.0ms
(exp (log (+ x (/ 1.0 3.0))))

simplify1.6s

Counts
36 → 36

prune73.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (/ 1.0 3.0))
1.5b
(pow E (log (+ x (/ 1.0 3.0))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity
5×add-sqr-sqrt add-cube-cbrt
4×pow1 unpow-prod-up pow-unpow log-prod add-log-exp
3×add-exp-log unpow-prod-down
2×log-div flip3-+ pow-exp add-cbrt-cube flip-+ distribute-lft-out pow-sub
1×+-commutative pow-to-exp e-exp-1 pow-pow sum-log log-pow sqr-pow
Counts
2 → 37
Calls
2 calls:
10.0ms
(+ x (/ 1.0 3.0))
12.0ms
(pow E (log (+ x (/ 1.0 3.0))))

series311.0ms

Counts
2 → 6
Calls
2 calls:
20.0ms
(+ x (/ 1.0 3.0))
291.0ms
(pow E (log (+ x (/ 1.0 3.0))))

simplify1.1s

Counts
43 → 43

prune93.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

1.7b
(pow E (log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
9.4b
(/ (pow E (log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow E (log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))))
9.7b
(log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
13.4b
(log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

rewrite346.0ms

Algorithm
rewrite-expression-head
Rules
213×*-un-lft-identity
165×log-prod
160×times-frac
153×unpow-prod-up
135×unpow-prod-down
93×add-sqr-sqrt add-cube-cbrt
60×distribute-lft-out
48×cube-prod
29×sqr-pow
23×add-exp-log
18×pow-exp
16×div-exp associate-/l*
12×sum-cubes
10×log-div associate-/r*
9×pow-to-exp e-exp-1
8×pow1
6×add-cbrt-cube pow-sub
5×flip3-+ flip-+
4×pow-unpow add-log-exp
3×log-pow
2×rem-log-exp associate-/r/ associate-/l/
1×cbrt-undiv pow-pow frac-2neg clear-num div-inv pow-div
Counts
4 → 276
Calls
4 calls:
57.0ms
(pow E (log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
188.0ms
(/ (pow E (log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow E (log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))))
40.0ms
(log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
31.0ms
(log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
147.0ms
(pow E (log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
743.0ms
(/ (pow E (log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))) (pow E (log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))))
353.0ms
(log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
105.0ms
(log (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))

simplify1.5s

Counts
288 → 288

prune1.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes42.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify15.0ms

end0.0ms

sample368.0ms

Algorithm
intervals
Results
192.0ms8000×body80valid