Details

Time bar (total: 15.4s)

sample103.0ms

Algorithm
intervals
Results
45.0ms69×body1280valid
21.0ms51×body640valid
10.0ms20×body2560valid
7.0ms33×body320valid
4.0ms71×body80valid
2.0ms12×body160valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done10
110
07

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 54.5b

localize18.0ms

Local error

Found 3 expressions with local error:

1.0b
(+ x (sqrt (fma x x 1.0)))
3.1b
(log (+ x (sqrt (fma x x 1.0))))
15.2b
(sqrt (fma x x 1.0))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
7×add-sqr-sqrt
6×add-cube-cbrt
5×pow1 add-log-exp
4×log-prod add-exp-log
3×expm1-log1p-u fma-def add-cbrt-cube sqrt-prod log1p-expm1-u
2×log-div flip3-+ flip-+ distribute-lft-out
1×+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2 rem-log-exp log-pow
Counts
3 → 49
Calls
3 calls:
6.0ms
(+ x (sqrt (fma x x 1.0)))
5.0ms
(log (+ x (sqrt (fma x x 1.0))))
1.0ms
(sqrt (fma x x 1.0))

series411.0ms

Counts
3 → 9
Calls
3 calls:
95.0ms
(+ x (sqrt (fma x x 1.0)))
240.0ms
(log (+ x (sqrt (fma x x 1.0))))
76.0ms
(sqrt (fma x x 1.0))

simplify1.2s

Counts
58 → 58
Iterations
IterNodes
done5001
21087
1289
0126

prune346.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 2 expressions with local error:

0.1b
(fma (/ (/ (* (* x x) x) 1.0) (sqrt 1.0)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))
0.1b
(* (* x x) x)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1
7×add-cbrt-cube add-exp-log
6×pow-plus pow-prod-up
4×add-sqr-sqrt
3×*-un-lft-identity associate-*r* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×pow2 expm1-log1p-u pow-sqr log1p-expm1-u add-log-exp
1×associate-*l* pow3 *-commutative fma-udef unswap-sqr
Counts
2 → 40
Calls
2 calls:
1.0ms
(fma (/ (/ (* (* x x) x) 1.0) (sqrt 1.0)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))
30.0ms
(* (* x x) x)

series216.0ms

Counts
2 → 6
Calls
2 calls:
167.0ms
(fma (/ (/ (* (* x x) x) 1.0) (sqrt 1.0)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))
48.0ms
(* (* x x) x)

simplify987.0ms

Counts
46 → 46
Iterations
IterNodes
done5000
2791
1139
060

prune209.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma x 2 (/ 0.5 x)) (/ 0.125 (* (* x x) x)))
0.1b
(* (* x x) x)
0.2b
(/ 0.125 (* (* x x) x))
9.5b
(log (- (fma x 2 (/ 0.5 x)) (/ 0.125 (* (* x x) x))))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
26×*-un-lft-identity
24×pow1
22×add-cube-cbrt
21×prod-diff
19×add-exp-log
18×add-cbrt-cube
12×times-frac
6×pow-plus prod-exp pow-prod-up cbrt-unprod add-log-exp
5×log-prod
4×expm1-log1p-u log1p-expm1-u div-inv
3×cbrt-undiv fma-neg div-exp associate-*r* pow-prod-down associate-/l*
2×pow2 log-div flip3-- pow-sqr flip-- distribute-lft-out-- difference-of-squares
1×clear-num associate-/r* sub-neg frac-2neg diff-log rem-log-exp associate-*l* pow3 associate--l+ log-pow *-commutative fma-udef unswap-sqr
Counts
4 → 114
Calls
4 calls:
30.0ms
(- (fma x 2 (/ 0.5 x)) (/ 0.125 (* (* x x) x)))
15.0ms
(* (* x x) x)
23.0ms
(/ 0.125 (* (* x x) x))
31.0ms
(log (- (fma x 2 (/ 0.5 x)) (/ 0.125 (* (* x x) x))))

series454.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(- (fma x 2 (/ 0.5 x)) (/ 0.125 (* (* x x) x)))
65.0ms
(* (* x x) x)
66.0ms
(/ 0.125 (* (* x x) x))
251.0ms
(log (- (fma x 2 (/ 0.5 x)) (/ 0.125 (* (* x x) x))))

simplify2.5s

Counts
126 → 126
Iterations
IterNodes
done5000
23401
1529
0213

prune495.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 0.125 (* (* x x) x))
0.3b
(/ 0.0625 (pow x 5))
11.7b
(log (- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5))))
17.1b
(- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5)))

rewrite771.0ms

Algorithm
rewrite-expression-head
Rules
358×add-sqr-sqrt
284×times-frac
270×*-un-lft-identity
241×prod-diff
208×add-cube-cbrt
93×associate--l+
68×unpow-prod-down
60×difference-of-squares
32×distribute-lft-out--
28×div-inv
24×sqr-pow
19×add-exp-log
15×add-cbrt-cube
9×log-prod add-log-exp
8×associate-/r* frac-sub
6×fma-neg div-exp associate-/l*
5×pow1 log-div
4×expm1-log1p-u cbrt-undiv flip3-- log1p-expm1-u flip--
3×diff-log prod-exp cbrt-unprod
2×clear-num sub-neg frac-2neg
1×associate--l- pow-to-exp rem-log-exp pow-exp log-pow
Counts
4 → 371
Calls
4 calls:
18.0ms
(/ 0.125 (* (* x x) x))
7.0ms
(/ 0.0625 (pow x 5))
226.0ms
(log (- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5))))
484.0ms
(- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5)))

series476.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(/ 0.125 (* (* x x) x))
85.0ms
(/ 0.0625 (pow x 5))
242.0ms
(log (- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5))))
84.0ms
(- (- (/ 0.125 (* (* x x) x)) (/ 0.5 x)) (/ 0.0625 (pow x 5)))

simplify1.0s

Counts
383 → 383
Iterations
IterNodes
done5000
11482
0584

prune2.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes58.0ms

Accuracy

100% (0.0b remaining)

Error of 0.2b against oracle of 0.2b and baseline of 32.1b

bsearch142.0ms

Steps
ItersRangePoint
11
1.9534460235190362e-22
53640.016154094046
0.8987700841367662
10
-17239113253358.373
-4.96108325192681e-05
-1.0098163723001696

simplify5.0ms

Iterations
IterNodes
done35
135
033

end0.0ms

sample3.4s

Algorithm
intervals
Results
1.6s2408×body1280valid
564.0ms1473×body640valid
510.0ms808×body320valid
339.0ms786×body2560valid
181.0ms2122×body80valid
50.0ms403×body160valid