Details

Time bar (total: 2.4m)

sample105.0ms

Algorithm
intervals
Results
44.0ms256×body80valid
37.0ms255×body80nan

simplify232.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
232.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize32.0ms

Local error

Found 3 expressions with local error:

0.5b
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
0.3b
(* t PI)
0.3b
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
51×times-frac
32×add-sqr-sqrt
31×add-cbrt-cube add-exp-log
30×*-un-lft-identity
24×add-cube-cbrt
21×associate-/l*
12×difference-of-squares
10×pow1 prod-exp cbrt-unprod
9×cbrt-undiv div-exp
7×associate-*l*
4×associate-*r* pow-prod-down associate-/r/
3×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
2×flip3-- *-commutative flip--
1×clear-num associate-/r* frac-2neg sqrt-prod unswap-sqr associate-/l/
Counts
3 → 112
Calls
3 calls:
Slowest
31.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
31.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
9.0ms
(* t PI)

series928.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
513.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)))
379.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))
35.0ms
(* t PI)

simplify21.0s

Counts
103 → 121
Calls
103 calls:
Slowest
943.0ms
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t t) t) (* (* PI PI) PI))))
891.0ms
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t PI) (* t PI)) (* t PI))))
815.0ms
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* (* t PI) (* t PI)) (* t PI))))
809.0ms
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))))
760.0ms
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (* t PI))))

prune1.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

7.5b
(/ (* v v) (* (* (sqrt 2) t) PI))
7.3b
(/ (* (sqrt 2) t) (* v v))
0.4b
(* (sqrt 2) t)
0.4b
(* (sqrt 2) t)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
41×add-cbrt-cube add-exp-log
18×add-sqr-sqrt
15×prod-exp cbrt-unprod
12×associate-*l*
10×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
8×pow1 sqrt-prod
6×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×clear-num associate-/r* frac-2neg times-frac pow-prod-down *-commutative div-inv associate-/l*
Counts
4 → 102
Calls
4 calls:
Slowest
47.0ms
(/ (* v v) (* (* (sqrt 2) t) PI))
13.0ms
(/ (* (sqrt 2) t) (* v v))
7.0ms
(* (sqrt 2) t)
7.0ms
(* (sqrt 2) t)

series341.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
119.0ms
(/ (* v v) (* (* (sqrt 2) t) PI))
109.0ms
(/ (* (sqrt 2) t) (* v v))
63.0ms
(* (sqrt 2) t)
50.0ms
(* (sqrt 2) t)

simplify9.3s

Counts
65 → 114
Calls
65 calls:
Slowest
951.0ms
(/ (* (* (* v v) (* v v)) (* v v)) (* (* (* (* (sqrt 2) t) PI) (* (* (sqrt 2) t) PI)) (* (* (sqrt 2) t) PI)))
826.0ms
(/ (* (* (* v v) v) (* (* v v) v)) (* (* (* (* (sqrt 2) t) PI) (* (* (sqrt 2) t) PI)) (* (* (sqrt 2) t) PI)))
803.0ms
(/ (* (* (* v v) (* v v)) (* v v)) (* (* (* (* (sqrt 2) t) (* (sqrt 2) t)) (* (sqrt 2) t)) (* (* PI PI) PI)))
748.0ms
(/ (* (* (* v v) (* v v)) (* v v)) (* (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* t t) t)) (* (* PI PI) PI)))
653.0ms
(/ (* (* (* v v) v) (* (* v v) v)) (* (* (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* t t) t)) (* (* PI PI) PI)))

prune1.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 3 expressions with local error:

0.4b
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)
0.4b
(* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)
0.3b
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
51×times-frac
32×add-sqr-sqrt
31×add-cbrt-cube add-exp-log
30×*-un-lft-identity
24×add-cube-cbrt
21×associate-/l*
12×difference-of-squares
10×pow1 prod-exp cbrt-unprod
9×cbrt-undiv div-exp
6×associate-*r*
5×associate-*l*
4×pow-prod-down associate-/r/
3×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
2×flip3-- *-commutative flip--
1×clear-num associate-/r* frac-2neg sqrt-prod unswap-sqr associate-/l/
Counts
3 → 112
Calls
3 calls:
Slowest
62.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI))
56.0ms
(* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)
21.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)

series1.2s

Counts
3 → 9
Calls
3 calls:
Slowest
522.0ms
(/ (/ (fma -5 (* v v) 1) (- 1 (* v v))) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI))
365.0ms
(* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)
342.0ms
(* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)

simplify22.6s

Counts
103 → 121
Calls
103 calls:
Slowest
1.2s
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* t t) t)) (* (* PI PI) PI)))
1.1s
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (sqrt (* 2 (fma (- (* v v)) 3 1)))) (* (* t t) t)) (* (* PI PI) PI)))
1.1s
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)))
1.0s
(/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))) (* (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)) (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) PI)))
964.0ms
(/ (* (* (/ (fma -5 (* v v) 1) (- 1 (* v v))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (- 1 (* v v)))) (* (* (* (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)) (* (sqrt (* 2 (fma (- (* v v)) 3 1))) t)) (* (* PI PI) PI)))

prune1.7s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1 (sqrt (fma (* v -6) v 2)))
0.5b
(/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))
0.4b
(* (/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI))
0.0b
(cbrt (- 1 (* v v)))

rewrite301.0ms

Algorithm
rewrite-expression-head
Rules
283×times-frac
245×add-exp-log
159×add-sqr-sqrt
146×*-un-lft-identity
136×add-cube-cbrt
113×div-exp
112×add-cbrt-cube
94×associate-*r*
87×prod-exp
58×cbrt-undiv
51×cbrt-prod
45×cbrt-unprod
39×sqrt-prod
34×associate-*l*
32×cbrt-div
25×associate-/l*
22×associate-/r/
21×associate-*l/
20×difference-of-squares
16×flip3-- flip--
13×rec-exp 1-exp
10×div-inv
9×frac-times
8×pow1
7×associate-/r*
5×associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×pow-flip
2×clear-num frac-2neg
1×sqrt-pow1 pow1/2 pow1/3 pow-prod-down *-commutative inv-pow associate-/l/
Counts
4 → 358
Calls
4 calls:
Slowest
242.0ms
(* (/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI))
43.0ms
(/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))
5.0ms
(/ 1 (sqrt (fma (* v -6) v 2)))
2.0ms
(cbrt (- 1 (* v v)))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
596.0ms
(/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))
476.0ms
(* (/ (/ 1 (sqrt (fma (* v -6) v 2))) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI))
193.0ms
(cbrt (- 1 (* v v)))
147.0ms
(/ 1 (sqrt (fma (* v -6) v 2)))

simplify1.2m

Counts
358 → 370
Calls
358 calls:
Slowest
1.9s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (- 1 (* v v)) (- 1 (* v v))) (* (* t t) t))) (/ (* (* (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (* (* PI PI) PI)))
1.9s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v))))) (* (* t t) t))) (/ (* (* (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (* (* PI PI) PI)))
1.9s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))) (/ (* (* (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v))))) (* (* PI PI) PI)))
1.6s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))) (/ (/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (- 1 (* v v))) (* (* PI PI) PI)))
1.5s
(* (/ (* (* (/ 1 (sqrt (fma (* v -6) v 2))) (/ 1 (sqrt (fma (* v -6) v 2)))) (/ 1 (sqrt (fma (* v -6) v 2)))) (* (* (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t)) (* (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))) t))) (* (* (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI)) (/ (/ (fma -5 (* v v) 1) (cbrt (- 1 (* v v)))) PI)))

prune6.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes220.0ms

Accuracy

0% (0.3b remaining)

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

bsearch3.0ms

end0.0ms

sample4.0s

Algorithm
intervals
Results
2.1s8000×body80valid
1.6s8148×body80nan