Details

sample152.0ms

Algorithm

intervals

Results

130.0ms

457×

body

valid

simplify394.0ms

Calls

1 calls:

Slowest

394.0ms

(fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize95.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt PI)
0.2b	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.1b	(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.1b	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

rewrite1.8s

Algorithm

rewrite-expression-head

Rules

68×	`pow1` `add-cbrt-cube` `add-exp-log`
49×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-l`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`insert-posit16` `add-log-exp`
3×	`associate-r` `associate-l/` `-commutative` `div-inv`
1×	`pow1/2`

Calls

4 calls:

Slowest

1.5s	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
249.0ms	(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
34.0ms	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

series106.0ms

Calls

4 calls:

Slowest

38.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
35.0ms	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
32.0ms	(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

simplify13.1s

Calls

67 calls:

Slowest

448.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
445.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
433.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
432.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
403.0ms	(+ (log (/ 1 5)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt PI)
0.2b	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.1b	(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.1b	(* (* (fabs x) (fabs x)) (fabs x))

rewrite297.0ms

Algorithm

rewrite-expression-head

Rules

47×	`pow1`
38×	`add-cbrt-cube` `add-exp-log`
24×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`associate-l`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow-plus` `associate-r` `pow-prod-up`
4×	`insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`pow2` `associate-*l/` `div-inv`
1×	`pow1/2` `pow3`

Calls

4 calls:

Slowest

232.0ms	(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
40.0ms	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
23.0ms	(* (* (fabs x) (fabs x)) (fabs x))
0.0ms	(sqrt PI)

series102.0ms

Calls

4 calls:

Slowest

43.0ms	(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
36.0ms	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
22.0ms	(* (* (fabs x) (fabs x)) (fabs x))
0.0ms	(sqrt PI)

simplify6.4s

Calls

62 calls:

Slowest

533.0ms	(* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
376.0ms	(+ (log (/ 1 5)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
366.0ms	(+ (log (/ 1 5)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
362.0ms	(+ (log (/ 1 5)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
360.0ms	(+ (log (/ 1 5)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))

prune1.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

33.0b	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
33.0b	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
33.0b	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
1.0b	(sqrt PI)

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`
3×	`cbrt-prod` `cbrt-div` `pow1/3` `associate-*l/`
1×	`pow1/2`

Calls

4 calls:

Slowest

42.0ms	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
37.0ms	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
21.0ms	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
0.0ms	(sqrt PI)

series163.0ms

Calls

4 calls:

Slowest

57.0ms	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
53.0ms	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
52.0ms	(cbrt (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))
0.0ms	(sqrt PI)

simplify180.0ms

Calls

15 calls:

Slowest

36.0ms	(cbrt (* 2 (* (* (fabs x) (fabs x)) (fabs x))))
31.0ms	(cbrt (* 2 (* (* (fabs x) (fabs x)) (fabs x))))
23.0ms	(cbrt (* 2 (* (* (fabs x) (fabs x)) (fabs x))))
9.0ms	(cbrt (/ 2 3))
9.0ms	(* (fabs x) (cbrt 2/3))

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

40.9b	(log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
1.9b	(exp (+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
1.0b	(sqrt PI)
0.3b	(+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

155×	`pow1`
65×	`log-pow`
50×	`pow-prod-down`
48×	`pow-plus` `pow-prod-up`
24×	`distribute-lft-out`
22×	`*-un-lft-identity`
19×	`add-exp-log`
15×	`exp-prod`
10×	`prod-exp`
8×	`pow2`
6×	`add-sqr-sqrt` `log-prod` `add-cube-cbrt`
5×	`rem-log-exp` `add-log-exp`
4×	`associate-+l+` `add-cbrt-cube` `pow3` `insert-posit16`
2×	`log-div` `sum-log` `associate-+l-` `rem-exp-log`
1×	`+-commutative` `associate-+r+` `flip3-+` `pow1/2` `exp-diff` `exp-sum` `flip-+` `div-inv`

Calls

4 calls:

Slowest

771.0ms	(exp (+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
252.0ms	(+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
107.0ms	(log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

series678.0ms

Calls

4 calls:

Slowest

355.0ms	(exp (+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
227.0ms	(+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
96.0ms	(log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

simplify6.1s

Calls

82 calls:

Slowest

391.0ms	(+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
333.0ms	(+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
331.0ms	(+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
319.0ms	(+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
316.0ms	(+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))

prune2.7s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes129.0ms

Accuracy

0% (0.2b remaining)

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

bsearch10.0ms

end0.0ms

sample5.1s

Algorithm

intervals

Results

4.9s

13957×

body

valid