Details

Time bar (total: 1.2m)

sample128.0ms

Algorithm
intervals
Results
61.0ms256×body80valid
40.0ms241×body80nan

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
44608
3838
2160
144
019

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite118.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:
16.0ms
(* PI (- 1 (* v v)))
27.0ms
(* 6 (* v v))
25.0ms
(/ (/ (fma -5 (* v v) 1) t) (* PI (- 1 (* v v))))
45.0ms
(/ (/ (/ (fma -5 (* v v) 1) t) (* PI (- 1 (* v v)))) (sqrt (- 2 (* 6 (* v v)))))

series837.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(* PI (- 1 (* v v)))
55.0ms
(* 6 (* v v))
184.0ms
(/ (/ (fma -5 (* v v) 1) t) (* PI (- 1 (* v v))))
506.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

prune4.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
120×pow1
50×add-cbrt-cube add-exp-log
45×times-frac
36×pow-prod-up
28×add-sqr-sqrt
27×*-un-lft-identity add-cube-cbrt
26×pow-prod-down
22×pow-sqr
18×pow-plus
17×prod-exp cbrt-unprod
15×cbrt-undiv div-exp
13×pow2
10×associate-/r/ associate-/l*
9×associate-/r* associate-*l/
6×sqrt-prod div-inv associate-/l/
5×flip3-- flip--
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×frac-times clear-num frac-2neg flip3-+ sqrt-div associate-*r* associate-*r/ *-commutative flip-+ unswap-sqr
1×swap-sqr
Counts
4 → 190
Calls
4 calls:
24.0ms
(* (* v v) (* v v))
14.0ms
(* 6 (* v v))
75.0ms
(/ (* (/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))) (sqrt (- 2 (* 6 (* v v)))))
23.0ms
(/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t)

series769.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (* v v) (* v v))
48.0ms
(* 6 (* v v))
524.0ms
(/ (* (/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))) (sqrt (- 2 (* 6 (* v v)))))
155.0ms
(/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t)

simplify2.2s

Counts
202 → 202
Iterations
IterNodes
23578
11029
0374

prune3.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite266.0ms

Algorithm
rewrite-expression-head
Rules
4300×times-frac
2166×add-sqr-sqrt
2039×*-un-lft-identity
1730×add-cube-cbrt
1374×sqrt-prod
703×associate-*r*
618×difference-of-squares
138×associate-/l*
88×div-inv
55×add-cbrt-cube add-exp-log
32×associate-/r/
28×unswap-sqr
25×cbrt-undiv div-exp associate-*l*
16×flip3-- flip--
11×pow1 associate-/r* prod-exp cbrt-unprod
4×expm1-log1p-u sqrt-div pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg *-commutative associate-/l/
1×frac-times associate-*l/ associate-*r/
Counts
4 → 1801
Calls
4 calls:
22.0ms
(/ (/ (sqrt (fma -5 (* v v) 1)) t) (- 1 (* v v)))
17.0ms
(* 6 (* v v))
88.0ms
(* (/ (sqrt (fma -5 (* v v) 1)) PI) (/ (/ (/ (sqrt (fma -5 (* v v) 1)) t) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
35.0ms
(/ (/ (/ (sqrt (fma -5 (* v v) 1)) t) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
196.0ms
(/ (/ (sqrt (fma -5 (* v v) 1)) t) (- 1 (* v v)))
36.0ms
(* 6 (* v v))
520.0ms
(* (/ (sqrt (fma -5 (* v v) 1)) PI) (/ (/ (/ (sqrt (fma -5 (* v v) 1)) t) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
383.0ms
(/ (/ (/ (sqrt (fma -5 (* v v) 1)) t) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))

simplify6.6s

Counts
1813 → 1813
Iterations
IterNodes
16407
01955

prune31.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
266×times-frac
143×add-exp-log
132×add-sqr-sqrt
112×*-un-lft-identity
110×add-cbrt-cube
94×add-cube-cbrt
68×cbrt-undiv div-exp
46×associate-*l*
44×associate-/r/
43×associate-*r*
40×prod-exp cbrt-unprod associate-/l*
31×associate-*l/
30×cbrt-prod
26×cbrt-div flip3-- sqrt-div flip--
20×div-inv
15×sqrt-prod
13×unswap-sqr
11×pow1
9×frac-times distribute-lft-out
5×associate-*r/
4×expm1-log1p-u associate-/r* pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg *-commutative associate-/l/
Counts
4 → 330
Calls
4 calls:
16.0ms
(* 6 (* v v))
34.0ms
(/ (/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
153.0ms
(* (/ (/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v))))))) (/ (+ (fma (* v v) (* v v) (* v v)) 1) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
28.0ms
(/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t)

series1.4s

Counts
4 → 12
Calls
4 calls:
58.0ms
(* 6 (* v v))
566.0ms
(/ (/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
625.0ms
(* (/ (/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v))))))) (/ (+ (fma (* v v) (* v v) (* v v)) 1) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
135.0ms
(/ (/ (fma -5 (* v v) 1) (* (- 1 (* (* v v) (* (* v v) (* v v)))) PI)) t)

simplify5.2s

Counts
342 → 342
Iterations
IterNodes
27352
11940
0636

prune6.4s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes287.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
219
119
017

end0.0ms

sample4.3s

Algorithm
intervals
Results
2.3s8000×body80nan
1.6s8000×body80valid