Details

Time bar (total: 2.3m)

sample143.0ms

Algorithm
intervals
Results
115.0ms471×body80valid

simplify428.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
427.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))))))

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize79.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 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.1b
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

rewrite9.3s

Algorithm
rewrite-expression-head
Rules
257×add-exp-log
184×prod-exp
147×add-cbrt-cube
98×cbrt-unprod
69×pow1
49×pow-prod-down
39×associate-*l*
27×add-sqr-sqrt times-frac div-exp
26×*-un-lft-identity add-cube-cbrt
15×cbrt-undiv
12×rec-exp 1-exp
4×insert-posit16 add-log-exp
3×associate-*r* associate-*l/ *-commutative sqrt-prod div-inv
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 185
Calls
4 calls:
Slowest
8.6s
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
705.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
52.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series238.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
95.0ms
(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
92.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
50.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify32.7s

Counts
152 → 195
Calls
152 calls:
Slowest
659.0ms
(* (/ (* (* 1 1) 1) (* (* 21 21) 21)) (* (* (* (* (* (* (* (* (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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
602.0ms
(+ (- (log 1) (log 21)) (+ (log (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
596.0ms
(+ (- (log 1) (log 21)) (+ (+ (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
570.0ms
(+ (- (log 1) (log 21)) (log (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
541.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))

prune3.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize118.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 (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 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
119×add-exp-log
76×prod-exp
75×add-cbrt-cube
48×associate-*l*
46×add-sqr-sqrt
44×cbrt-unprod
40×times-frac
37×*-un-lft-identity
36×pow1
33×add-cube-cbrt
22×pow-prod-down
15×div-exp
14×sqrt-prod
12×frac-add
9×cbrt-undiv
7×associate-*l/
6×frac-times rec-exp flip3-+ 1-exp associate-*r* associate-*r/ flip-+
5×unswap-sqr
4×insert-posit16 add-log-exp
3×*-commutative div-inv
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 distribute-lft-out
Counts
4 → 174
Calls
4 calls:
Slowest
645.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
603.0ms
(* (/ 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 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)))
61.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series511.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
387.0ms
(* (/ 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 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)))
81.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
44.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify33.1s

Counts
152 → 184
Calls
152 calls:
Slowest
2.3s
(* (* (* (/ 1 (sqrt PI)) (/ 1 (sqrt PI))) (/ 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 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21))))
1.3s
(* (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)))) (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (- (* (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)) (* (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)))))
879.0ms
(+ (* (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (- (* (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)) (* (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21))))
861.0ms
(* 1 (+ (* (- (* (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (* (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21) (* (- (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
793.0ms
(* (sqrt PI) (* (+ (* (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))))) (- (* (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 21))

prune3.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize116.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
107×add-exp-log
70×prod-exp
63×add-cbrt-cube
40×add-sqr-sqrt
38×cbrt-unprod
36×pow1 associate-*l*
31×*-un-lft-identity times-frac
27×add-cube-cbrt
22×pow-prod-down
14×sqrt-prod
12×div-exp frac-add
8×associate-*r*
6×frac-times cbrt-undiv rec-exp flip3-+ 1-exp associate-*l/ associate-*r/ flip-+
5×unswap-sqr
4×insert-posit16 add-log-exp
3×*-commutative
2×div-inv
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 distribute-lft-out
Counts
4 → 157
Calls
4 calls:
Slowest
637.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
609.0ms
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)))
80.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)
2.0ms
(sqrt PI)

series946.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
787.0ms
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)))
98.0ms
(* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
61.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)
0.0ms
(sqrt PI)

simplify35.5s

Counts
136 → 167
Calls
136 calls:
Slowest
2.2s
(* (* (* (/ 1 (sqrt PI)) (/ 1 (sqrt PI))) (/ 1 (sqrt PI))) (* (* (+ (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)) (+ (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21))) (+ (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21))))
1.7s
(* (/ (* (* 1 1) 1) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (+ (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)) (+ (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21))) (+ (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21))))
1.0s
(* (sqrt PI) (+ (* (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (- (* (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)) (* (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21)))))
862.0ms
(* 1 (+ (* (- (* (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3))) (* (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21) (* (- (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
823.0ms
(* 1 (- (* (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2 (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) 2/3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21) (/ (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 21))))

prune3.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize80.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
31×times-frac
29×sqrt-prod
28×*-un-lft-identity
26×add-cube-cbrt
25×add-cbrt-cube add-exp-log
18×pow1
13×associate-*l*
12×prod-exp cbrt-unprod
7×rem-sqrt-square sqrt-pow1
6×pow-prod-down
4×insert-posit16 add-log-exp
3×cbrt-undiv pow1/2 div-exp div-inv
2×sqrt-div pow-flip inv-pow
1×associate-*r* associate-*l/ *-commutative
Counts
4 → 111
Calls
4 calls:
Slowest
73.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
4.0ms
(sqrt (/ 1 21))
4.0ms
(sqrt (/ 1 21))
2.0ms
(sqrt PI)

series56.0ms

Counts
4 → 6
Calls
4 calls:
Slowest
56.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt (/ 1 21))
0.0ms
(sqrt (/ 1 21))

simplify4.3s

Counts
74 → 117
Calls
74 calls:
Slowest
406.0ms
(+ (- (log 2) (log 3)) (log (* (* (fabs x) (fabs x)) (fabs x))))
321.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))))
320.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))))
282.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))))
281.0ms
(+ (log (/ 2 3)) (log (* (* (fabs x) (fabs x)) (fabs x))))

prune2.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes162.0ms

Accuracy

0% (0.2b remaining)

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

bsearch15.0ms

end0.0ms

sample4.9s

Algorithm
intervals
Results
4.7s14146×body80valid