Details

Time bar (total: 10.6s)

sample63.0ms

Algorithm
intervals
Results
31.0ms65×body1280valid
13.0ms58×body640valid
3.0ms29×body320valid
2.0ms86×body80valid
1.0ms18×body160valid
1.0ms76×body80nan

simplify1.0ms

Counts
1 → 1
Iterations
IterNodes
done5
15
04

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.2b

localize5.0ms

Local error

Found 1 expressions with local error:

4.9b
(log (+ x 1.0))

rewrite8.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-+ distribute-lft-out add-log-exp
Counts
1 → 15
Calls
1 calls:
8.0ms
(log (+ x 1.0))

series89.0ms

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

simplify728.0ms

Counts
18 → 18
Iterations
IterNodes
done5001
31359
2384
1123
059

prune71.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 1 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
6×frac-add
5×add-log-exp
4×flip3-+ flip-+
3×sum-log
2×frac-times associate-*l/ associate-*r/
1×add-sqr-sqrt pow1 +-commutative associate-+r+ *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
Counts
1 → 19
Calls
1 calls:
50.0ms
(+ (* (/ (* x x) 1.0) (/ -1/2 1.0)) (+ (log 1.0) (* x 1.0)))

series57.0ms

Counts
1 → 3
Calls
1 calls:
57.0ms
(+ (* (/ (* x x) 1.0) (/ -1/2 1.0)) (+ (log 1.0) (* x 1.0)))

simplify908.0ms

Counts
22 → 22
Iterations
IterNodes
done5000
21766
1292
077

prune120.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
0.1b
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
8.2b
(- (* (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (/ (* x (/ -1/2 1.0)) (/ 1.0 x))) (* (+ (log 1.0) (* x 1.0)) (+ (log 1.0) (* x 1.0))))
32.8b
(/ (- (* (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (/ (* x (/ -1/2 1.0)) (/ 1.0 x))) (* (+ (log 1.0) (* x 1.0)) (+ (log 1.0) (* x 1.0)))) (- (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (+ (log 1.0) (* x 1.0))))

rewrite370.0ms

Algorithm
rewrite-expression-head
Rules
82×times-frac
53×add-sqr-sqrt *-un-lft-identity
50×frac-sub
48×add-cbrt-cube add-exp-log
43×add-cube-cbrt
40×frac-times
37×flip3-+ flip-+
31×associate-/r*
30×associate-*r/
28×associate-*l/ associate-/l/
23×cbrt-undiv div-exp
12×difference-of-squares
8×prod-exp cbrt-unprod
7×div-inv
6×associate-/r/ associate-/l* add-log-exp
5×distribute-lft-out--
4×pow1
3×clear-num frac-2neg flip3-- flip--
2×associate--r+
1×distribute-rgt-in sub-neg distribute-lft-in diff-log div-sub
Counts
4 → 213
Calls
4 calls:
15.0ms
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
15.0ms
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
57.0ms
(- (* (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (/ (* x (/ -1/2 1.0)) (/ 1.0 x))) (* (+ (log 1.0) (* x 1.0)) (+ (log 1.0) (* x 1.0))))
264.0ms
(/ (- (* (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (/ (* x (/ -1/2 1.0)) (/ 1.0 x))) (* (+ (log 1.0) (* x 1.0)) (+ (log 1.0) (* x 1.0)))) (- (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (+ (log 1.0) (* x 1.0))))

series416.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
45.0ms
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
106.0ms
(- (* (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (/ (* x (/ -1/2 1.0)) (/ 1.0 x))) (* (+ (log 1.0) (* x 1.0)) (+ (log 1.0) (* x 1.0))))
235.0ms
(/ (- (* (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (/ (* x (/ -1/2 1.0)) (/ 1.0 x))) (* (+ (log 1.0) (* x 1.0)) (+ (log 1.0) (* x 1.0)))) (- (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (+ (log 1.0) (* x 1.0))))

simplify553.0ms

Counts
225 → 225
Iterations
IterNodes
done5001
11232
0361

prune1.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize48.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
27.1b
(/ (- (+ (* (* 2.0 x) (log 1.0)) (+ (* 1.0 (* x x)) (pow (log 1.0) 2)))) (- (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (+ (log 1.0) (* x 1.0))))

rewrite536.0ms

Algorithm
rewrite-expression-head
Rules
81×times-frac
67×add-sqr-sqrt *-un-lft-identity
45×add-cube-cbrt
25×add-cbrt-cube add-exp-log
18×distribute-lft-neg-in associate-/r* distribute-rgt-neg-in
12×cbrt-undiv div-exp
11×associate-/l* distribute-lft-out-- difference-of-squares
6×neg-mul-1
5×associate-/r/
4×prod-exp cbrt-unprod div-inv
3×associate-/l/
2×pow1 clear-num frac-2neg flip3-+ frac-sub flip-+ distribute-neg-frac add-log-exp
1×neg-sub0 flip3-- div-sub associate-*r/ distribute-frac-neg flip--
Counts
2 → 136
Calls
2 calls:
14.0ms
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
517.0ms
(/ (- (+ (* (* 2.0 x) (log 1.0)) (+ (* 1.0 (* x x)) (pow (log 1.0) 2)))) (- (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (+ (log 1.0) (* x 1.0))))

series247.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(/ (* x (/ -1/2 1.0)) (/ 1.0 x))
197.0ms
(/ (- (+ (* (* 2.0 x) (log 1.0)) (+ (* 1.0 (* x x)) (pow (log 1.0) 2)))) (- (/ (* x (/ -1/2 1.0)) (/ 1.0 x)) (+ (log 1.0) (* x 1.0))))

simplify470.0ms

Counts
142 → 142
Iterations
IterNodes
done5000
1899
0306

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

regimes55.0ms

Accuracy

99.3% (0.1b remaining)

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

bsearch26.0ms

Steps
ItersRangePoint
8
3.3185797753340088e-09
5.09324609688744e-06
4.228318145661536e-06

simplify3.0ms

Iterations
IterNodes
done21
121
016

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s2283×body1280valid
541.0ms1670×body640valid
539.0ms830×body320valid
99.0ms2797×body80valid
61.0ms2675×body80nan
41.0ms420×body160valid