Details

sample58.0ms

Algorithm

intervals

Results

44.0ms

487×

body

valid

simplify164.0ms

Calls

1 calls:

Slowest

163.0ms

(exp (- (- 1 (* x x))))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(- 1 (* x x))
0.0b	(exp (- (- 1 (* x x))))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
34×	`exp-prod`
32×	`*-un-lft-identity`
30×	`difference-of-squares`
15×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
8×	`add-log-exp`
6×	`swap-sqr` `*-commutative` `distribute-lft-out--` `unswap-sqr`
5×	`add-cube-cbrt`
3×	`associate-l` `rem-exp-log`
2×	`pow1` `distribute-neg-in` `sub-neg` `add-cbrt-cube` `diff-log` `exp-sum` `neg-log` `add-exp-log` `insert-posit16`
1×	`neg-sub0` `exp-neg` `neg-mul-1` `flip3--` `exp-diff` `flip--`

Calls

2 calls:

Slowest

85.0ms	(exp (- (- 1 (* x x))))
14.0ms	(- 1 (* x x))

series78.0ms

Calls

2 calls:

Slowest

54.0ms	(- 1 (* x x))
23.0ms	(exp (- (- 1 (* x x))))

simplify2.3s

Calls

67 calls:

Slowest

248.0ms	(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
153.0ms	(exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
123.0ms	(exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
112.0ms	(exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
98.0ms	(exp (- (+ 1 (* (sqrt x) (sqrt x)))))

prune572.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x))))
0.0b	(* (- 1 (* x x)) (- 1 (* x x)))
0.0b	(* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x)))
0.0b	(- 1 (* x x))

rewrite1.0s

Algorithm

rewrite-expression-head

Rules

344×	`add-sqr-sqrt`
240×	`*-un-lft-identity`
202×	`associate-l`
198×	`difference-of-squares`
131×	`swap-sqr`
90×	`cbrt-prod`
75×	`associate-r`
61×	`flip3--` `flip--`
60×	`frac-times`
57×	`unswap-sqr`
54×	`distribute-lft-out--`
51×	`*-commutative`
30×	`pow1` `associate-*l/`
26×	`cbrt-div`
21×	`add-cube-cbrt`
18×	`associate-*r/`
11×	`add-cbrt-cube` `add-exp-log`
7×	`pow-plus` `pow-prod-up`
6×	`add-log-exp`
5×	`sub-neg`
4×	`distribute-rgt-in` `distribute-lft-in` `pow3` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16`
3×	`pow2` `pow-sqr`
2×	`rem-cbrt-cube`
1×	`pow1/3` `diff-log`

Calls

4 calls:

Slowest

473.0ms	(cbrt (* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x))))
415.0ms	(* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x)))
90.0ms	(* (- 1 (* x x)) (- 1 (* x x)))
21.0ms	(- 1 (* x x))

series244.0ms

Calls

4 calls:

Slowest

79.0ms	(cbrt (* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x))))
70.0ms	(* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x)))
50.0ms	(* (- 1 (* x x)) (- 1 (* x x)))
46.0ms	(- 1 (* x x))

simplify1.1m

Calls

414 calls:

Slowest

1.3s	(cbrt (* (* (- (* 1 1) (* (* x x) (* x x))) (- (pow 1 3) (pow (* x x) 3))) (- (pow 1 3) (pow (* x x) 3))))
952.0ms	(* (* (- (pow 1 3) (pow (* x x) 3)) (- (* 1 1) (* (* x x) (* x x)))) (- (pow 1 3) (pow (* x x) 3)))
836.0ms	(* (* (- 1 (* x x)) (- (pow 1 3) (pow (* x x) 3))) (- (pow 1 3) (pow (* x x) 3)))
736.0ms	(cbrt (* (* (- 1 (* x x)) (- (* 1 1) (* (* x x) (* x x)))) (- (pow 1 3) (pow (* x x) 3))))
727.0ms	(cbrt (* (* (- 1 (* x x)) (- (pow 1 3) (pow (* x x) 3))) (- (pow 1 3) (pow (* x x) 3))))

prune4.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes101.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.3s

Algorithm

intervals

Results

1.2s

16166×

body

valid