Details

sample126.0ms

Algorithm

intervals

Results

98.0ms

458×

body

valid

simplify370.0ms

Calls

1 calls:

Slowest

370.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))))))

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt PI)
0.1b	(* (/ 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.6s

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.4s	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
184.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)

series111.0ms

Calls

4 calls:

Slowest

56.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
27.0ms	(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
27.0ms	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)

simplify13.2s

Calls

67 calls:

Slowest

463.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
429.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
419.0ms	(+ (log (/ 1 5)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
411.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
403.0ms	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

prune2.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-cbrt-cube` `add-exp-log`
9×	`add-sqr-sqrt`
8×	`sqrt-prod`
7×	`*-un-lft-identity` `add-cube-cbrt`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`associate-l` `insert-posit16` `add-log-exp`
3×	`pow1/2` `div-inv`
2×	`rem-sqrt-square` `sqrt-div`
1×	`associate-r` `associate-l/` `-commutative`

Calls

4 calls:

Slowest

44.0ms	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms	(sqrt (/ 1 21))
1.0ms	(sqrt (/ 1 21))
0.0ms	(sqrt PI)

series29.0ms

Calls

4 calls:

Slowest

28.0ms	(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms	(sqrt PI)
0.0ms	(sqrt (/ 1 21))
0.0ms	(sqrt (/ 1 21))

simplify1.9s

Calls

31 calls:

Slowest

258.0ms	(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
233.0ms	(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
232.0ms	(* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
203.0ms	(+ (log (/ 2 3)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
198.0ms	(+ (log (/ 2 3)) (log (* (* (fabs x) (fabs x)) (fabs x))))

prune1.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

12.9b	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
12.9b	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
12.9b	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
1.0b	(sqrt PI)

rewrite4.5s

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

1.8s	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
1.4s	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
1.3s	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
0.0ms	(sqrt PI)

series778.0ms

Calls

4 calls:

Slowest

284.0ms	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
251.0ms	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
243.0ms	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
0.0ms	(sqrt PI)

simplify368.0ms

Calls

15 calls:

Slowest

74.0ms	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
72.0ms	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
53.0ms	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
17.0ms	(* (pow (pow (fabs x) 7) 1/3) (cbrt 1/21))
17.0ms	(* (pow (pow (fabs x) 7) 1/3) (cbrt 1/21))

prune1.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

13.0b	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
12.9b	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
12.9b	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
1.0b	(sqrt PI)

rewrite2.8s

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` `pow1/3`
2×	`cbrt-div` `associate-*l/`
1×	`pow1/2`

Calls

4 calls:

Slowest

1.4s	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
1.3s	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
215.0ms	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
0.0ms	(sqrt PI)

series687.0ms

Calls

4 calls:

Slowest

264.0ms	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
242.0ms	(cbrt (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
182.0ms	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
0.0ms	(sqrt PI)

simplify395.0ms

Calls

15 calls:

Slowest

92.0ms	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
78.0ms	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
75.0ms	(cbrt (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
16.0ms	(* (pow (pow (fabs x) 7) 1/3) (cbrt 1/21))
16.0ms	(* (pow (pow (fabs x) 7) 1/3) (cbrt 1/21))

prune1.3s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes281.0ms

Accuracy

0% (0.2b remaining)

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

bsearch14.0ms

end0.0ms

sample4.9s

Algorithm

intervals

Results

4.7s

13942×

body

valid