Details

Time bar (total: 3.1m)

sample244.0ms

Algorithm
intervals
Results
97.0ms61×body10240exit
53.0ms61×body1280valid
47.0ms352×body80valid
20.0ms36×body640valid
7.0ms17×body320valid
2.0ms6×body160valid

simplify308.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
308.0ms
(/ (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) 2)

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

localize55.0ms

Local error

Found 4 expressions with local error:

1.8b
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
0.0b
(exp (- (* (- 1 eps) x)))
0.0b
(exp (- (* (+ 1 eps) x)))
0.0b
(* (- 1 eps) x)

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
74×exp-neg
72×frac-times
56×neg-sub0 exp-diff
38×associate-*l/
36×associate-*r/
29×flip3-- flip--
27×flip3-+ flip-+
18×un-div-inv
13×add-sqr-sqrt
12×exp-prod
11×*-un-lft-identity
10×add-log-exp
8×add-cube-cbrt
6×pow1 add-cbrt-cube associate-*l* add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u rem-exp-log
3×associate-*r*
2×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in neg-log difference-of-squares
1×sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- unswap-sqr
Counts
4 → 164
Calls
4 calls:
Slowest
48.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
16.0ms
(* (- 1 eps) x)
16.0ms
(exp (- (* (- 1 eps) x)))
6.0ms
(exp (- (* (+ 1 eps) x)))

series240.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
143.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
40.0ms
(* (- 1 eps) x)
30.0ms
(exp (- (* (+ 1 eps) x)))
27.0ms
(exp (- (* (- 1 eps) x)))

simplify1.2m

Counts
258 → 176
Calls
258 calls:
Slowest
1.1s
(* (exp (* (- 1 eps) x)) (* (+ (* (/ 1 eps) (/ 1 eps)) (+ (* 1 1) (* (/ 1 eps) 1))) (exp (* (+ 1 eps) x))))
772.0ms
(* (* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (exp (* (- 1 eps) x))) (+ (/ 1 eps) 1))
761.0ms
(* (* (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))) (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))))
753.0ms
(* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (+ (* (/ 1 eps) (/ 1 eps)) (+ (* 1 1) (* (/ 1 eps) 1))))
711.0ms
(* (* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (exp (* (- 1 eps) x))) (+ (/ 1 eps) 1))

prune2.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

6.2b
(fma (* x (* x x)) 2/3 (- 2 (* x x)))
0.1b
(* x (* x x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1
7×add-cbrt-cube add-exp-log
5×pow-prod-up
4×add-sqr-sqrt
3×*-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
1×pow2 pow-plus cube-unmult associate-*r* pow-sqr *-commutative fma-udef unswap-sqr
Counts
2 → 38
Calls
2 calls:
Slowest
23.0ms
(* x (* x x))
0.0ms
(fma (* x (* x x)) 2/3 (- 2 (* x x)))

series107.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
62.0ms
(fma (* x (* x x)) 2/3 (- 2 (* x x)))
45.0ms
(* x (* x x))

simplify6.3s

Counts
43 → 44
Calls
43 calls:
Slowest
657.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
579.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
467.0ms
(* (* (fma (* x (* x x)) 2/3 (- 2 (* x x))) (fma (* x (* x x)) 2/3 (- 2 (* x x)))) (fma (* x (* x x)) 2/3 (- 2 (* x x))))
441.0ms
(* (* (* x (* x x)) (* x (* x x))) (* x (* x x)))
354.0ms
(log1p (fma (* x (* x x)) 2/3 (- 2 (* x x))))

prune418.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

1.8b
(- (* (+ 1 (/ 1 eps)) (exp (- (* x eps) x))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
0.0b
(exp (- (* x eps) x))
0.0b
(exp (- (* (+ 1 eps) x)))
0.0b
(* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
47×exp-diff
45×frac-sub
42×frac-times
30×associate-*l/
26×add-sqr-sqrt
25×exp-neg
21×associate-*r/
19×neg-sub0 flip3-- flip--
18×*-un-lft-identity flip3-+ flip-+
14×associate-*l*
11×add-log-exp
9×exp-prod add-cube-cbrt
6×pow1 times-frac add-cbrt-cube un-div-inv difference-of-squares
5×exp-sum add-exp-log
4×expm1-log1p-u prod-diff insert-posit16 log1p-expm1-u rem-exp-log
3×difference-of-sqr-1 associate-*r*
2×sub-neg diff-log distribute-lft-out--
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in fma-neg pow-prod-down neg-log prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 144
Calls
4 calls:
Slowest
78.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* x eps) x))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
52.0ms
(* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))
34.0ms
(exp (- (* x eps) x))
6.0ms
(exp (- (* (+ 1 eps) x)))

series203.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
129.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* x eps) x))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
38.0ms
(* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))
21.0ms
(exp (- (* (+ 1 eps) x)))
15.0ms
(exp (- (* x eps) x))

simplify55.9s

Counts
210 → 156
Calls
210 calls:
Slowest
850.0ms
(cbrt (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))
764.0ms
(* (* (- (* (+ 1 (/ 1 eps)) (exp (- (* x eps) x))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) (- (* (+ 1 (/ 1 eps)) (exp (- (* x eps) x))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))) (- (* (+ 1 (/ 1 eps)) (exp (- (* x eps) x))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))))
706.0ms
(* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (+ (* (/ 1 eps) (/ 1 eps)) (+ (* 1 1) (* (/ 1 eps) 1))))
688.0ms
(- (* (* (+ 1 (/ 1 eps)) (exp (* x eps))) (+ (/ 1 eps) 1)) (* (exp x) (* (- (* (/ 1 eps) (/ 1 eps)) (* 1 1)) (exp (- (* (+ 1 eps) x))))))
681.0ms
(- (* (* (+ 1 (/ 1 eps)) (exp (* x eps))) (* (+ (/ 1 eps) 1) (exp (* (+ 1 eps) x)))) (* (exp x) (* (- (* (/ 1 eps) (/ 1 eps)) (* 1 1)) (exp 0))))

prune2.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize99.0ms

Local error

Found 4 expressions with local error:

38.6b
(- (* (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) 1) (exp (+ (- (* eps x) x) (fma x eps x)))) (+ 1 (fma (/ 1 eps) (/ 1 eps) (/ 1 eps)))) (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) -1) (fma (/ 1 eps) (- (/ 1 eps) 1) 1)))
3.1b
(+ (- (* eps x) x) (fma x eps x))
0.2b
(* (/ 1 eps) (/ 1 eps))
0.2b
(* (/ 1 eps) (/ 1 eps))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
110×add-sqr-sqrt
96×times-frac
84×add-exp-log
81×*-un-lft-identity
62×add-cube-cbrt
34×pow1
32×div-exp prod-exp
30×swap-sqr
28×add-cbrt-cube
26×associate-*r* associate-*l*
18×unswap-sqr
16×rec-exp 1-exp pow-flip inv-pow
12×div-inv
11×add-log-exp
10×pow-prod-up
8×cbrt-undiv cbrt-unprod
6×pow-prod-down pow-sqr
5×associate-+l+
4×expm1-log1p-u fma-def prod-diff insert-posit16 log1p-expm1-u
3×fma-udef
2×pow2 distribute-rgt-in frac-times sum-log sub-neg distribute-lft-in pow-plus diff-log associate-*l/ associate--l+ associate-*r/ un-div-inv *-commutative associate--r+
1×+-commutative associate-+r+ flip3-+ flip3-- distribute-rgt-out-- fma-neg associate-+l- flip-+ flip-- distribute-lft-out
Counts
4 → 244
Calls
4 calls:
Slowest
934.0ms
(- (* (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) 1) (exp (+ (- (* eps x) x) (fma x eps x)))) (+ 1 (fma (/ 1 eps) (/ 1 eps) (/ 1 eps)))) (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) -1) (fma (/ 1 eps) (- (/ 1 eps) 1) 1)))
56.0ms
(+ (- (* eps x) x) (fma x eps x))
28.0ms
(* (/ 1 eps) (/ 1 eps))
28.0ms
(* (/ 1 eps) (/ 1 eps))

series355.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
276.0ms
(- (* (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) 1) (exp (+ (- (* eps x) x) (fma x eps x)))) (+ 1 (fma (/ 1 eps) (/ 1 eps) (/ 1 eps)))) (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) -1) (fma (/ 1 eps) (- (/ 1 eps) 1) 1)))
42.0ms
(+ (- (* eps x) x) (fma x eps x))
19.0ms
(* (/ 1 eps) (/ 1 eps))
18.0ms
(* (/ 1 eps) (/ 1 eps))

simplify27.8s

Counts
300 → 256
Calls
300 calls:
Slowest
1.2s
(* (* (* (/ 1 eps) (/ 1 eps)) (/ 1 eps)) (* (* (/ 1 eps) (/ 1 eps)) (/ 1 eps)))
960.0ms
(+ (* (* (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) 1) (exp (+ (- (* eps x) x) (fma x eps x)))) (+ 1 (fma (/ 1 eps) (/ 1 eps) (/ 1 eps)))) (* (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) 1) (exp (+ (- (* eps x) x) (fma x eps x)))) (+ 1 (fma (/ 1 eps) (/ 1 eps) (/ 1 eps))))) (+ (* (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) -1) (fma (/ 1 eps) (- (/ 1 eps) 1) 1)) (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) -1) (fma (/ 1 eps) (- (/ 1 eps) 1) 1))) (* (* (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) 1) (exp (+ (- (* eps x) x) (fma x eps x)))) (+ 1 (fma (/ 1 eps) (/ 1 eps) (/ 1 eps)))) (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) -1) (fma (/ 1 eps) (- (/ 1 eps) 1) 1)))))
906.0ms
(* (/ (* (* 1 1) 1) (* (* eps eps) eps)) (/ (* (* 1 1) 1) (* (* eps eps) eps)))
866.0ms
(* (/ (* (* 1 1) 1) (* (* eps eps) eps)) (/ (* (* 1 1) 1) (* (* eps eps) eps)))
837.0ms
(- (pow (* (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) 1) (exp (+ (- (* eps x) x) (fma x eps x)))) (+ 1 (fma (/ 1 eps) (/ 1 eps) (/ 1 eps)))) 3) (pow (* (fma (* (/ 1 eps) (/ 1 eps)) (/ 1 eps) -1) (fma (/ 1 eps) (- (/ 1 eps) 1) 1)) 3))

prune6.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes135.0ms

Accuracy

96.5% (0.6b remaining)

Error of 1.0b against oracle of 0.5b and baseline of 16.8b

bsearch330.0ms

end0.0ms

sample12.0s

Algorithm
intervals
Results
4.6s1940×body10240exit
2.5s1764×body1280valid
2.2s9817×body80valid
1.8s1278×body640valid
434.0ms588×body320valid
168.0ms342×body160valid