Details

Time bar (total: 33.9s)

sample44.0ms

Algorithm
intervals
Results
33.0ms523×body80valid

simplify173.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
173.0ms
(exp (- (- 1 (* x x))))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize7.0ms

Local error

Found 1 expressions with local error:

0.1b
(exp (fma x x -1))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×exp-prod
2×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
1×expm1-log1p-u pow1 add-cbrt-cube exp-sum add-exp-log fma-udef insert-posit16 log1p-expm1-u rem-exp-log
Counts
1 → 15
Calls
1 calls:
Slowest
2.0ms
(exp (fma x x -1))

series43.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
43.0ms
(exp (fma x x -1))

simplify357.0ms

Counts
8 → 18
Calls
8 calls:
Slowest
259.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
65.0ms
(exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
12.0ms
(exp (sqrt (fma x x -1)))
7.0ms
(exp (fma x x -1))
6.0ms
(exp (* x x))

prune125.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.1b
(pow E (fma x x -1))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt pow-unpow unpow-prod-down *-un-lft-identity add-cube-cbrt
2×pow1 pow-exp add-exp-log
1×expm1-log1p-u pow-to-exp unpow-prod-up e-exp-1 pow-pow add-cbrt-cube fma-udef insert-posit16 log1p-expm1-u add-log-exp sqr-pow
Counts
1 → 22
Calls
1 calls:
Slowest
4.0ms
(pow E (fma x x -1))

series47.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
47.0ms
(pow E (fma x x -1))

simplify452.0ms

Counts
12 → 25
Calls
12 calls:
Slowest
300.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
57.0ms
(pow (* (cbrt E) (cbrt E)) (fma x x -1))
24.0ms
(* 1 (fma x x -1))
24.0ms
(* (log E) (fma x x -1))
9.0ms
(exp (fma x x -1))

prune230.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.1b
(pow (sqrt E) (fma x x -1))
0.1b
(pow (sqrt E) (fma x x -1))
0.0b
(* (pow (sqrt E) (fma x x -1)) (pow (sqrt E) (fma x x -1)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
56×unpow-prod-down
49×add-sqr-sqrt
28×sqrt-prod
21×*-un-lft-identity add-cube-cbrt
17×add-exp-log
16×unswap-sqr
14×sqr-pow
13×swap-sqr
11×associate-*r* associate-*l*
9×prod-exp
8×pow-to-exp pow-exp
7×pow1
6×unpow-prod-up pow-unpow pow-pow fma-udef
5×add-cbrt-cube
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×sqrt-pow1 pow1/2 sqrt-pow2
1×pow2 pow-prod-down pow-sqr *-commutative pow-prod-up cbrt-unprod
Counts
3 → 130
Calls
3 calls:
Slowest
19.0ms
(* (pow (sqrt E) (fma x x -1)) (pow (sqrt E) (fma x x -1)))
2.0ms
(pow (sqrt E) (fma x x -1))
2.0ms
(pow (sqrt E) (fma x x -1))

series397.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
187.0ms
(* (pow (sqrt E) (fma x x -1)) (pow (sqrt E) (fma x x -1)))
108.0ms
(pow (sqrt E) (fma x x -1))
102.0ms
(pow (sqrt E) (fma x x -1))

simplify20.9s

Counts
128 → 139
Calls
128 calls:
Slowest
548.0ms
(+ (log (pow (sqrt E) (fma x x -1))) (* (log (sqrt E)) (fma x x -1)))
522.0ms
(+ (* (log (sqrt E)) (fma x x -1)) (log (pow (sqrt E) (fma x x -1))))
522.0ms
(+ (* (log (sqrt E)) (fma x x -1)) (log (pow (sqrt E) (fma x x -1))))
477.0ms
(+ (log (pow (sqrt E) (fma x x -1))) (log (pow (sqrt E) (fma x x -1))))
468.0ms
(+ (log (pow (sqrt E) (fma x x -1))) (* (log (sqrt E)) (fma x x -1)))

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.1b
(pow (sqrt E) (fma x x -1))
0.0b
(exp (* (log (sqrt E)) (fma x x -1)))
0.0b
(* (exp (* (log (sqrt E)) (fma x x -1))) (pow (sqrt E) (fma x x -1)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
14×unpow-prod-down
11×associate-*r*
10×*-un-lft-identity add-cube-cbrt
7×sqrt-prod
6×add-exp-log fma-udef
5×pow1 add-cbrt-cube associate-*l*
4×exp-to-pow exp-sum add-log-exp unswap-sqr
3×expm1-log1p-u pow-unpow pow-pow prod-exp insert-posit16 log1p-expm1-u sqr-pow
2×distribute-rgt-in pow-to-exp unpow-prod-up exp-prod distribute-lft-in pow-prod-down pow-exp
1×sqrt-pow1 pow1/2 pow-sqr *-commutative pow-prod-up cbrt-unprod sqrt-pow2 rem-exp-log
Counts
3 → 81
Calls
3 calls:
Slowest
26.0ms
(* (exp (* (log (sqrt E)) (fma x x -1))) (pow (sqrt E) (fma x x -1)))
7.0ms
(exp (* (log (sqrt E)) (fma x x -1)))
7.0ms
(pow (sqrt E) (fma x x -1))

series411.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
197.0ms
(* (exp (* (log (sqrt E)) (fma x x -1))) (pow (sqrt E) (fma x x -1)))
113.0ms
(exp (* (log (sqrt E)) (fma x x -1)))
101.0ms
(pow (sqrt E) (fma x x -1))

simplify7.0s

Counts
61 → 90
Calls
61 calls:
Slowest
631.0ms
(* (* (* (exp (* (log (sqrt E)) (fma x x -1))) (exp (* (log (sqrt E)) (fma x x -1)))) (exp (* (log (sqrt E)) (fma x x -1)))) (* (* (pow (sqrt E) (fma x x -1)) (pow (sqrt E) (fma x x -1))) (pow (sqrt E) (fma x x -1))))
554.0ms
(+ (* (log (sqrt E)) (fma x x -1)) (log (pow (sqrt E) (fma x x -1))))
463.0ms
(* (sqrt (exp (* (log (sqrt E)) (fma x x -1)))) (pow (sqrt E) (/ (fma x x -1) 2)))
389.0ms
(* (sqrt (exp (* (log (sqrt E)) (fma x x -1)))) (pow (sqrt E) (/ (fma x x -1) 2)))
380.0ms
(* (log (sqrt E)) (fma x x -1))

prune804.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes32.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s15914×body80valid