Details

Time bar (total: 12.2s)

sample104.0ms

Algorithm
intervals
Results
57.0ms71×body1280valid
21.0ms52×body640valid
6.0ms27×body320valid
5.0ms92×body80valid
3.0ms70×body80nan
2.0ms14×body160valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
27
17
04

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.6b

localize13.0ms

Local error

Found 1 expressions with local error:

4.0b
(log (+ 1 x))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
4×log-prod *-un-lft-identity
2×add-sqr-sqrt pow1 log-div add-exp-log add-cube-cbrt
1×flip3-+ add-cbrt-cube rem-log-exp log-pow flip-+ insert-posit16 distribute-lft-out add-log-exp
Counts
1 → 16
Calls
1 calls:
6.0ms
(log (+ 1 x))

series53.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(log (+ 1 x))

simplify1.2s

Counts
19 → 19
Iterations
IterNodes
52837
41070
3438
2209
1106
055

prune202.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* (* x x) (- (* 1/3 x) 1/2)))
0.0b
(* (* x x) (- (* 1/3 x) 1/2))
0.4b
(* 1/3 x)

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1 add-cbrt-cube add-exp-log
9×add-sqr-sqrt
6×*-un-lft-identity associate-*r* add-cube-cbrt
5×add-log-exp
4×distribute-rgt-in associate-+r+ sub-neg distribute-lft-in associate-*l* pow-prod-down prod-exp cbrt-unprod
3×insert-posit16
2×associate-*r/ *-commutative unswap-sqr
1×+-commutative sum-log flip3-+ flip3-- flip-+ flip--
Counts
3 → 61
Calls
3 calls:
14.0ms
(+ x (* (* x x) (- (* 1/3 x) 1/2)))
69.0ms
(* (* x x) (- (* 1/3 x) 1/2))
11.0ms
(* 1/3 x)

series173.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(+ x (* (* x x) (- (* 1/3 x) 1/2)))
109.0ms
(* (* x x) (- (* 1/3 x) 1/2))
29.0ms
(* 1/3 x)

simplify1.7s

Counts
70 → 70
Iterations
IterNodes
33502
2826
1288
0103

prune363.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 4 expressions with local error:

0.4b
(* 1/3 x)
0.4b
(* 1/3 x)
0.4b
(* 1/3 x)
29.6b
(cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
28×frac-times
27×flip3-+ flip-+
26×cbrt-div
16×add-sqr-sqrt
14×associate-*l/
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*r* associate-*l*
8×associate-*r/
4×insert-posit16 add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 94
Calls
4 calls:
10.0ms
(* 1/3 x)
10.0ms
(* 1/3 x)
11.0ms
(* 1/3 x)
32.0ms
(cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))

series132.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* 1/3 x)
27.0ms
(* 1/3 x)
16.0ms
(* 1/3 x)
61.0ms
(cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))

simplify731.0ms

Counts
106 → 106
Iterations
IterNodes
22095
1468
0159

prune962.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

0.4b
(* 1/3 x)
2.3b
(exp (log (cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))))
14.8b
(log (cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2))))))
29.6b
(cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
84×frac-times
81×flip3-+ flip-+
78×cbrt-div
52×log-div
42×associate-*l/
26×exp-diff
24×associate-*r/
11×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
8×pow1 log-prod
7×add-exp-log
6×add-cbrt-cube
5×exp-prod
4×exp-sum log-pow insert-posit16 add-log-exp
3×cbrt-prod pow1/3 associate-*r* associate-*l*
1×rem-log-exp pow3 pow-prod-down prod-exp *-commutative rem-cbrt-cube cbrt-unprod unswap-sqr rem-exp-log
Counts
4 → 141
Calls
4 calls:
5.0ms
(* 1/3 x)
15.0ms
(exp (log (cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))))
16.0ms
(log (cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2))))))
28.0ms
(cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))

series277.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(* 1/3 x)
67.0ms
(exp (log (cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))))
132.0ms
(log (cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2))))))
62.0ms
(cbrt (* (* (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))) (+ x (* (* x x) (- (* 1/3 x) 1/2)))))

simplify905.0ms

Counts
153 → 153
Iterations
IterNodes
22363
1661
0296

prune1.5s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes119.0ms

Accuracy

99.2% (0.2b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 20.7b

bsearch31.0ms

Steps
ItersRangePoint
9
3.724243043503383e-05
13.774552749451386
0.00011600758426984505

simplify3.0ms

Iterations
IterNodes
220
120
014

end0.0ms

sample3.4s

Algorithm
intervals
Results
1.7s2336×body1280valid
1000.0ms1624×body640valid
175.0ms836×body320valid
169.0ms2794×body80nan
157.0ms2811×body80valid
49.0ms393×body160valid