Details

Time bar (total: 1.0m)

sample159.0ms

Algorithm
intervals
Results
71.0ms256×body80valid
56.0ms267×body80nan

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
44608
3838
2160
144
019

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
299×times-frac
123×add-sqr-sqrt
120×*-un-lft-identity
119×add-cube-cbrt
60×sqrt-prod
41×add-cbrt-cube add-exp-log
32×associate-/l*
18×associate-*r/ associate-/r/ div-inv
17×cbrt-undiv div-exp
11×pow1
10×flip3-- flip--
8×prod-exp cbrt-unprod
7×associate-/r*
6×associate-*r* associate-*l* prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
2×clear-num sub-neg frac-2neg sqrt-div *-commutative difference-of-squares unswap-sqr associate-/l/
Counts
4 → 273
Calls
4 calls:
30.0ms
(* PI (- 1 (* v v)))
18.0ms
(* 6 (* v v))
13.0ms
(/ (/ (fma -5 (* v v) 1) t) (* PI (- 1 (* v v))))
28.0ms
(/ (/ (/ (fma -5 (* v v) 1) t) (* PI (- 1 (* v v)))) (sqrt (- 2 (* 6 (* v v)))))

series945.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(* PI (- 1 (* v v)))
37.0ms
(* 6 (* v v))
211.0ms
(/ (/ (fma -5 (* v v) 1) t) (* PI (- 1 (* v v))))
585.0ms
(/ (/ (/ (fma -5 (* v v) 1) t) (* PI (- 1 (* v v)))) (sqrt (- 2 (* 6 (* v v)))))

simplify2.0s

Counts
285 → 285
Iterations
IterNodes
23722
11231
0507

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (sqrt (+ 2 (* -6 (* v v)))) t) (- 1 (* v v)))
0.2b
(* -6 (* v v))
0.4b
(/ (/ (fma -5 (* v v) 1) PI) (* (* (sqrt (+ 2 (* -6 (* v v)))) t) (- 1 (* v v))))
0.4b
(* (sqrt (+ 2 (* -6 (* v v)))) t)

rewrite570.0ms

Algorithm
rewrite-expression-head
Rules
37×add-cbrt-cube add-exp-log
31×add-sqr-sqrt times-frac
26×*-un-lft-identity
25×add-cube-cbrt
18×associate-*l/
16×pow1
14×sqrt-div
13×prod-exp cbrt-unprod associate-/l*
10×associate-*l*
9×cbrt-undiv div-exp associate-*r*
8×frac-times associate-/r/
7×flip3-+ pow-prod-down flip-+
6×flip3-- prod-diff flip--
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u associate-*r/ sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative div-inv unswap-sqr
2×sub-neg difference-of-squares
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 151
Calls
4 calls:
447.0ms
(* (* (sqrt (+ 2 (* -6 (* v v)))) t) (- 1 (* v v)))
19.0ms
(* -6 (* v v))
64.0ms
(/ (/ (fma -5 (* v v) 1) PI) (* (* (sqrt (+ 2 (* -6 (* v v)))) t) (- 1 (* v v))))
37.0ms
(* (sqrt (+ 2 (* -6 (* v v)))) t)

series982.0ms

Counts
4 → 12
Calls
4 calls:
281.0ms
(* (* (sqrt (+ 2 (* -6 (* v v)))) t) (- 1 (* v v)))
40.0ms
(* -6 (* v v))
448.0ms
(/ (/ (fma -5 (* v v) 1) PI) (* (* (sqrt (+ 2 (* -6 (* v v)))) t) (- 1 (* v v))))
213.0ms
(* (sqrt (+ 2 (* -6 (* v v)))) t)

simplify1.8s

Counts
163 → 163
Iterations
IterNodes
23747
11069
0358

prune1.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite327.0ms

Algorithm
rewrite-expression-head
Rules
5530×times-frac
2753×add-sqr-sqrt
2481×*-un-lft-identity
2459×add-cube-cbrt
1941×cbrt-prod
898×sqrt-prod
739×associate-*l*
251×associate-/l*
116×associate-*r*
72×add-exp-log
65×div-inv
53×add-cbrt-cube
48×unswap-sqr
44×difference-of-squares
43×associate-/r*
39×cbrt-undiv div-exp
12×prod-exp cbrt-unprod
10×associate-/r/
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg
1×frac-times flip3-- pow1/3 pow-prod-down associate-*l/ associate-*r/ *-commutative flip-- associate-/l/
Counts
4 → 2263
Calls
4 calls:
1.0ms
(cbrt (fma -5 (* v v) 1))
126.0ms
(* (/ (/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1)))) t) (/ (/ (cbrt (fma -5 (* v v) 1)) PI) (- 1 (* v v))))
29.0ms
(/ (/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1)))) t)
11.0ms
(/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1))))

series1.8s

Counts
4 → 12
Calls
4 calls:
138.0ms
(cbrt (fma -5 (* v v) 1))
484.0ms
(* (/ (/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1)))) t) (/ (/ (cbrt (fma -5 (* v v) 1)) PI) (- 1 (* v v))))
701.0ms
(/ (/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1)))) t)
480.0ms
(/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1))))

simplify14.2s

Counts
2275 → 2275
Iterations
IterNodes
16840
02156

prune16.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
1278×times-frac
820×add-sqr-sqrt
605×*-un-lft-identity
583×add-cube-cbrt
572×cbrt-prod
250×sqrt-prod
245×associate-*l*
116×associate-*r*
92×add-exp-log
65×add-cbrt-cube
49×cbrt-undiv div-exp
44×difference-of-squares unswap-sqr
43×associate-/r*
22×div-inv
18×prod-exp cbrt-unprod
7×associate-/l*
6×pow1
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l/
2×frac-times clear-num frac-2neg associate-*l/ associate-*r/
1×flip3-- pow1/3 pow-prod-down *-commutative flip--
Counts
4 → 799
Calls
4 calls:
1.0ms
(cbrt (fma -5 (* v v) 1))
38.0ms
(/ (* (/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1)))) (/ (/ (cbrt (fma -5 (* v v) 1)) PI) (- 1 (* v v)))) t)
8.0ms
(/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1))))
75.0ms
(* (/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1)))) (/ (/ (cbrt (fma -5 (* v v) 1)) PI) (- 1 (* v v))))

series1.6s

Counts
4 → 12
Calls
4 calls:
195.0ms
(cbrt (fma -5 (* v v) 1))
466.0ms
(/ (* (/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1)))) (/ (/ (cbrt (fma -5 (* v v) 1)) PI) (- 1 (* v v)))) t)
355.0ms
(/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1))))
561.0ms
(* (/ (cbrt (fma -5 (* v v) 1)) (/ (sqrt (fma (* v v) -6 2)) (cbrt (fma -5 (* v v) 1)))) (/ (/ (cbrt (fma -5 (* v v) 1)) PI) (- 1 (* v v))))

simplify5.0s

Counts
811 → 811
Iterations
IterNodes
13575
01082

prune5.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes121.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
220
120
019

end0.0ms

sample4.4s

Algorithm
intervals
Results
2.1s8000×body80valid
1.8s8217×body80nan