Details

Time bar (total: 42.0s)

sample243.0ms

Algorithm
intervals
Results
113.0ms508×body80nan
56.0ms288×body80valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
42994
3617
2157
150
021

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.5b

localize56.0ms

Local error

Found 4 expressions with local error:

4.1b
(/ n (/ Om l))
5.6b
(fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))
7.3b
(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))))
19.4b
(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
46×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
29×pow1
21×add-cbrt-cube add-exp-log
16×pow-prod-down
13×associate-/r*
8×prod-exp cbrt-unprod
5×sqrt-pow1 fma-udef div-inv
4×distribute-rgt-in expm1-log1p-u distribute-lft-in insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-/l*
1×clear-num frac-2neg pow1/2 associate-*r* associate-*l* associate-/r/ *-commutative sqrt-prod
Counts
4 → 130
Calls
4 calls:
6.0ms
(/ n (/ Om l))
0.0ms
(fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))
25.0ms
(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))))
27.0ms
(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

series3.1s

Counts
4 → 12
Calls
4 calls:
24.0ms
(/ n (/ Om l))
284.0ms
(fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))
438.0ms
(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))))
2.3s
(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

simplify773.0ms

Counts
142 → 142
Iterations
IterNodes
22620
1726
0284

prune2.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 22.4b

localize114.0ms

Local error

Found 4 expressions with local error:

19.4b
(sqrt (* (* (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))
20.4b
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))
20.4b
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))
20.4b
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1
15×sqrt-pow1
12×pow1/3
9×pow-prod-up
6×pow-plus
5×pow-prod-down
4×add-sqr-sqrt expm1-log1p-u *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod pow-sqr
2×pow2
1×pow1/2 pow3 sqrt-prod
Counts
4 → 63
Calls
4 calls:
136.0ms
(sqrt (* (* (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))
29.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))
18.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))
34.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

series4.4s

Counts
4 → 12
Calls
4 calls:
2.3s
(sqrt (* (* (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))) (cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))
642.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))
763.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))
732.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

simplify899.0ms

Counts
75 → 75
Iterations
IterNodes
32474
2750
1288
0133

prune1.5s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 22.4b

localize113.0ms

Local error

Found 4 expressions with local error:

12.4b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
12.4b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
12.4b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
19.4b
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1
24×pow-prod-down
9×cbrt-prod sqrt-pow1
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×pow1/2 sqrt-prod
Counts
4 → 63
Calls
4 calls:
2.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
2.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
2.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
213.0ms
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))

series4.5s

Counts
4 → 12
Calls
4 calls:
694.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
651.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
700.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
2.5s
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))

simplify716.0ms

Counts
75 → 75
Iterations
IterNodes
32346
2679
1236
0109

prune1.5s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 22.3b

localize89.0ms

Local error

Found 4 expressions with local error:

12.4b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
12.4b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
19.4b
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))
19.4b
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))

rewrite426.0ms

Algorithm
rewrite-expression-head
Rules
70×pow1
48×pow-prod-down
18×sqrt-pow1
6×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×pow1/2 pow1/3 sqrt-prod
Counts
4 → 70
Calls
4 calls:
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
201.0ms
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))
222.0ms
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))

series6.8s

Counts
4 → 12
Calls
4 calls:
1.1s
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
723.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
2.4s
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))
2.6s
(sqrt (* (* U 2) (* n (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))))

simplify732.0ms

Counts
82 → 82
Iterations
IterNodes
32346
2679
1236
0109

prune2.0s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 22.3b

regimes1.7s

Accuracy

34% (5.9b remaining)

Error of 26.6b against oracle of 20.7b and baseline of 29.6b

bsearch4.0ms

simplify16.0ms

Iterations
IterNodes
260
160
048

end0.0ms

sample8.6s

Algorithm
intervals
Results
4.9s15014×body80nan
2.5s9200×body80valid