Details

Time bar (total: 34.8s)

sample445.0ms

Algorithm
intervals
Results
186.0ms508×body80nan
84.0ms288×body80valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
42994
3617
2157
150
021

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.5b

localize53.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)))))

rewrite91.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:
12.0ms
(/ n (/ Om l))
0.0ms
(fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))
43.0ms
(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))))
30.0ms
(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

series3.8s

Counts
4 → 12
Calls
4 calls:
24.0ms
(/ n (/ Om l))
386.0ms
(fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))
464.0ms
(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t))))
3.0s
(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

simplify827.0ms

Counts
142 → 142
Iterations
IterNodes
22620
1726
0284

prune2.8s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 22.4b

localize87.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)))))

rewrite131.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:
72.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)))))))
17.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)))))
23.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

series4.7s

Counts
4 → 12
Calls
4 calls:
2.4s
(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)))))))
779.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))
714.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))
806.0ms
(cbrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))))

simplify770.0ms

Counts
75 → 75
Iterations
IterNodes
32474
2750
1288
0133

prune1.2s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 22.4b

localize69.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)))))))

rewrite152.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:
1.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)))
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
146.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)))))))

series3.3s

Counts
4 → 12
Calls
4 calls:
486.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
482.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
486.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
1.8s
(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)))))))

simplify499.0ms

Counts
75 → 75
Iterations
IterNodes
32346
2679
1236
0109

prune1.1s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 22.3b

localize75.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)))))))

rewrite255.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)))
125.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)))))))
128.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.6s

Counts
4 → 12
Calls
4 calls:
500.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
489.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma -2 (/ l (/ Om l)) t)))
1.8s
(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)))))))
1.8s
(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)))))))

simplify515.0ms

Counts
82 → 82
Iterations
IterNodes
32346
2679
1236
0109

prune1.3s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 22.3b

regimes1.4s

Accuracy

34% (5.9b remaining)

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

bsearch4.0ms

simplify13.0ms

Iterations
IterNodes
260
160
048

end0.0ms

sample5.5s

Algorithm
intervals
Results
2.8s15014×body80nan
1.9s9200×body80valid