Details

Time bar (total: 12.2s)

sample81.0ms

Algorithm
intervals
Results
44.0ms73×body1280valid
13.0ms42×body640valid
4.0ms28×body320valid
3.0ms99×body80valid
3.0ms104×body80nan
1.0ms14×body160valid

simplify22.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.4b

localize8.0ms

Local error

Found 1 expressions with local error:

3.8b
(log (+ 1.0 x))

rewrite11.0ms

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

series70.0ms

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

simplify485.0ms

Counts
18 → 18

prune52.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
70×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
36×add-cube-cbrt *-un-lft-identity
25×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
7×add-cbrt-cube
6×pow-to-exp pow-exp add-log-exp
4×pow1
3×associate-*r/ associate-*l*
2×diff-log frac-sub cbrt-unprod
1×cbrt-undiv sub-neg flip3-- flip3-+ pow-prod-down associate--l+ sum-log *-commutative flip-- flip-+ div-inv
Counts
2 → 126
Calls
2 calls:
65.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
82.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))

series162.0ms

Counts
2 → 6
Calls
2 calls:
78.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
84.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))

simplify1.2s

Counts
132 → 132

prune492.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 1/2 (pow x 2))
0.1b
(* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2)))
13.3b
(- (* (- (* (* 1.0 x) (* 1.0 x)) (* (log 1.0) (log 1.0))) (pow 1.0 2)) (* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2))))
23.2b
(/ (- (* (- (* (* 1.0 x) (* 1.0 x)) (* (log 1.0) (log 1.0))) (pow 1.0 2)) (* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2)))) (* (- (* 1.0 x) (log 1.0)) (pow 1.0 2)))

rewrite489.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
20×associate-*l/
16×add-sqr-sqrt add-cbrt-cube
13×prod-exp
12×flip3-- flip--
10×add-cube-cbrt *-un-lft-identity
9×associate-*r*
8×frac-sub
6×pow1 associate-*l* associate-/l/ add-log-exp
5×cbrt-unprod
4×unpow-prod-down div-exp unswap-sqr
3×pow-to-exp times-frac pow-exp associate-/l*
2×cbrt-undiv associate-/r/ *-commutative unpow2 sqr-pow
1×sub-neg frac-2neg diff-log div-sub pow-prod-down clear-num associate-/r* div-inv
Counts
4 → 96
Calls
4 calls:
16.0ms
(* 1/2 (pow x 2))
59.0ms
(* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2)))
149.0ms
(- (* (- (* (* 1.0 x) (* 1.0 x)) (* (log 1.0) (log 1.0))) (pow 1.0 2)) (* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2))))
259.0ms
(/ (- (* (- (* (* 1.0 x) (* 1.0 x)) (* (log 1.0) (log 1.0))) (pow 1.0 2)) (* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2)))) (* (- (* 1.0 x) (log 1.0)) (pow 1.0 2)))

series847.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* 1/2 (pow x 2))
410.0ms
(* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2)))
174.0ms
(- (* (- (* (* 1.0 x) (* 1.0 x)) (* (log 1.0) (log 1.0))) (pow 1.0 2)) (* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2))))
230.0ms
(/ (- (* (- (* (* 1.0 x) (* 1.0 x)) (* (log 1.0) (log 1.0))) (pow 1.0 2)) (* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2)))) (* (- (* 1.0 x) (log 1.0)) (pow 1.0 2)))

simplify1.8s

Counts
108 → 108

prune446.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
2.1b
(exp (log (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
73×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
39×add-cube-cbrt *-un-lft-identity
26×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
8×add-cbrt-cube
7×add-log-exp
6×pow1 pow-to-exp pow-exp
5×associate-*r/
4×log-div exp-prod exp-diff frac-sub
3×log-prod associate-*l* exp-sum
2×flip3-- flip3-+ diff-log flip-- cbrt-unprod flip-+
1×cbrt-undiv sub-neg pow-prod-down associate--l+ sum-log log-pow *-commutative div-inv rem-exp-log
Counts
3 → 145
Calls
3 calls:
81.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
45.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
73.0ms
(exp (log (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))

series160.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
59.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
49.0ms
(exp (log (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))

simplify1.1s

Counts
154 → 154

prune565.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes134.0ms

Accuracy

99.1% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.3b

bsearch2.0ms

simplify593.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.8s2313×body1280valid
501.0ms1672×body640valid
179.0ms813×body320valid
139.0ms2704×body80nan
90.0ms2778×body80valid
37.0ms424×body160valid