Details

Time bar (total: 19.6s)

sample166.0ms

Algorithm
intervals
Results
81.0ms87×body1280valid
27.0ms46×body640valid
19.0ms65×body80valid
17.0ms23×body2560valid
10.0ms28×body320valid
2.0ms7×body160valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done13
213
112
07

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.7b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(hypot 1 x)
0.9b
(+ x (hypot 1 x))
1.7b
(log (+ x (hypot 1 x)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity
5×add-sqr-sqrt add-cube-cbrt add-log-exp
4×pow1 log-prod add-exp-log
3×expm1-log1p-u fma-def add-cbrt-cube insert-posit16 log1p-expm1-u
2×log-div flip3-+ flip-+ distribute-lft-out
1×+-commutative hypot-udef sum-log rem-log-exp log-pow
Counts
3 → 47
Calls
3 calls:
0.0ms
(hypot 1 x)
4.0ms
(+ x (hypot 1 x))
3.0ms
(log (+ x (hypot 1 x)))

series311.0ms

Counts
3 → 9
Calls
3 calls:
67.0ms
(hypot 1 x)
79.0ms
(+ x (hypot 1 x))
164.0ms
(log (+ x (hypot 1 x)))

simplify1.9s

Counts
56 → 56
Iterations
IterNodes
done5010
32035
2666
1244
0108

prune236.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.1b
(fma (* (* x x) x) -1/6 x)
0.1b
(* (* x x) x)
18.0b
(fma (pow x 5) 3/40 (fma (* (* x x) x) -1/6 x))

rewrite38.0ms

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

series248.0ms

Counts
3 → 9
Calls
3 calls:
105.0ms
(fma (* (* x x) x) -1/6 x)
71.0ms
(* (* x x) x)
72.0ms
(fma (pow x 5) 3/40 (fma (* (* x x) x) -1/6 x))

simplify1.9s

Counts
62 → 62
Iterations
IterNodes
done5001
31430
2359
1134
071

prune225.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ 1/8 (* x x)) x)
0.4b
(/ 1/8 (* x x))
11.4b
(log (+ (/ -1/2 x) (- (/ (/ 1/8 (* x x)) x) (/ 1/16 (pow x 5)))))
22.3b
(- (/ (/ 1/8 (* x x)) x) (/ 1/16 (pow x 5)))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
1367×times-frac
775×add-sqr-sqrt
754×*-un-lft-identity
737×add-cube-cbrt
625×prod-diff
228×unpow-prod-down
135×div-inv
78×sqr-pow
25×fma-neg
19×add-exp-log
18×add-cbrt-cube
12×difference-of-squares
10×associate-/l*
7×cbrt-undiv div-exp
6×log-prod add-log-exp
5×pow1 log-div
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u distribute-lft-out--
3×frac-add distribute-lft-out
2×clear-num frac-2neg flip3-- prod-exp frac-sub cbrt-unprod flip--
1×sub-neg flip3-+ diff-log rem-log-exp log-pow flip-+ associate-/l/
Counts
4 → 778
Calls
4 calls:
12.0ms
(/ (/ 1/8 (* x x)) x)
13.0ms
(/ 1/8 (* x x))
76.0ms
(log (+ (/ -1/2 x) (- (/ (/ 1/8 (* x x)) x) (/ 1/16 (pow x 5)))))
60.0ms
(- (/ (/ 1/8 (* x x)) x) (/ 1/16 (pow x 5)))

series471.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(/ (/ 1/8 (* x x)) x)
40.0ms
(/ 1/8 (* x x))
154.0ms
(log (+ (/ -1/2 x) (- (/ (/ 1/8 (* x x)) x) (/ 1/16 (pow x 5)))))
217.0ms
(- (/ (/ 1/8 (* x x)) x) (/ 1/16 (pow x 5)))

simplify2.2s

Counts
790 → 790
Iterations
IterNodes
done5000
12307
01032

prune4.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.9b
(- (hypot 1 x) x)
1.7b
(log (/ (fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x)) (fma (- (hypot 1 x) x) (hypot 1 x) (* x x))))
9.6b
(/ (fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x)) (fma (- (hypot 1 x) x) (hypot 1 x) (* x x)))
14.9b
(fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt *-un-lft-identity
26×add-cube-cbrt
18×times-frac
13×log-prod
9×prod-diff add-exp-log
6×add-cbrt-cube add-log-exp
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/r* fma-neg associate-/l*
2×div-exp rem-log-exp div-inv
1×cbrt-undiv log-div clear-num sub-neg frac-2neg flip3-- diff-log log-pow fma-udef flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 97
Calls
4 calls:
8.0ms
(- (hypot 1 x) x)
3.0ms
(log (/ (fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x)) (fma (- (hypot 1 x) x) (hypot 1 x) (* x x))))
6.0ms
(/ (fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x)) (fma (- (hypot 1 x) x) (hypot 1 x) (* x x)))
0.0ms
(fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x))

series1.0s

Counts
4 → 12
Calls
4 calls:
63.0ms
(- (hypot 1 x) x)
479.0ms
(log (/ (fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x)) (fma (- (hypot 1 x) x) (hypot 1 x) (* x x))))
320.0ms
(/ (fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x)) (fma (- (hypot 1 x) x) (hypot 1 x) (* x x)))
182.0ms
(fma (* (hypot 1 x) (hypot 1 x)) (hypot 1 x) (* (* x x) x))

simplify1.7s

Counts
109 → 109
Iterations
IterNodes
done5026
33226
21138
1452
0208

prune481.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes51.0ms

Accuracy

99.6% (0.1b remaining)

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

bsearch124.0ms

Steps
ItersRangePoint
11
4.21785760657603e-35
57.56933376468871
0.007778482819478155
9
-34.11472770615283
-3.67231414207575e-08
-1.0840635159626253

simplify4.0ms

Iterations
IterNodes
done34
134
029

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.8s2352×body1280valid
1.0s1515×body640valid
491.0ms786×body2560valid
251.0ms2138×body80valid
209.0ms773×body320valid
73.0ms436×body160valid