Details

Time bar (total: 42.4s)

sample445.0ms

Algorithm
intervals
Results
188.0ms479×body80nan
90.0ms285×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
43017
3618
2155
150
021

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.2b

localize57.0ms

Local error

Found 4 expressions with local error:

4.5b
(* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
5.8b
(/ n (/ Om l))
7.5b
(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
18.1b
(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
50×add-sqr-sqrt
48×*-un-lft-identity add-cube-cbrt
31×pow1
23×add-cbrt-cube add-exp-log
17×pow-prod-down
13×associate-/r*
9×prod-exp cbrt-unprod
6×fma-udef
5×distribute-rgt-in distribute-lft-in sqrt-pow1 div-inv
4×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-/l*
2×*-commutative
1×clear-num frac-2neg pow1/2 associate-/r/ sqrt-prod unswap-sqr
Counts
4 → 142
Calls
4 calls:
10.0ms
(* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
6.0ms
(/ n (/ Om l))
24.0ms
(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
29.0ms
(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))

series3.5s

Counts
4 → 12
Calls
4 calls:
371.0ms
(* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
25.0ms
(/ n (/ Om l))
449.0ms
(* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
2.6s
(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))

simplify1.1s

Counts
154 → 154
Iterations
IterNodes
22599
1753
0291

prune2.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 20.7b

localize79.0ms

Local error

Found 4 expressions with local error:

3.6b
(fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))
5.8b
(/ n (/ Om l))
11.2b
(* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
18.1b
(sqrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
47×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
23×pow1
18×add-cbrt-cube add-exp-log
13×associate-/r*
12×pow-prod-down
6×prod-exp cbrt-unprod
5×div-inv
4×expm1-log1p-u sqrt-pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-*r* fma-udef associate-/l*
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow1/2 associate-*l* associate-/r/ *-commutative sqrt-prod
Counts
4 → 126
Calls
4 calls:
1.0ms
(fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))
11.0ms
(/ n (/ Om l))
88.0ms
(* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
72.0ms
(sqrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))

series3.3s

Counts
4 → 12
Calls
4 calls:
380.0ms
(fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))
40.0ms
(/ n (/ Om l))
427.0ms
(* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
2.4s
(sqrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))

simplify1.2s

Counts
138 → 138
Iterations
IterNodes
22643
1723
0277

prune2.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 16.7b

localize99.0ms

Local error

Found 4 expressions with local error:

12.8b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
12.8b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
12.8b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
18.1b
(sqrt (* (* (* (* U 2) n) (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))

rewrite311.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1
22×pow-prod-down
9×cbrt-prod
8×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 → 62
Calls
4 calls:
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
306.0ms
(sqrt (* (* (* (* U 2) n) (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))

series4.6s

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

simplify824.0ms

Counts
74 → 74
Iterations
IterNodes
32388
2686
1237
0109

prune1.7s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 16.7b

localize75.0ms

Local error

Found 4 expressions with local error:

12.8b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
12.8b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
12.8b
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
18.1b
(sqrt (* (* (* (* U 2) n) (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))))

rewrite242.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1
22×pow-prod-down
9×cbrt-prod
8×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 → 62
Calls
4 calls:
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
1.0ms
(cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
239.0ms
(sqrt (* (* (* (* U 2) n) (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))))

series4.9s

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

simplify787.0ms

Counts
74 → 74
Iterations
IterNodes
32446
2694
1240
0111

prune1.6s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 16.7b

regimes2.0s

Accuracy

11.9% (10.6b remaining)

Error of 28.7b against oracle of 18.0b and baseline of 30.1b

bsearch790.0ms

Steps
ItersRangePoint
8
1.7136368249210526e+28
9.994094894807723e+31
1.412213387362571e+29
7
3.9730570553135896e-299
6.104689453046446e-297
7.3820940872889895e-298
6
-5.551832982511142e-141
-4.660733285322069e-142
-3.2377717899062056e-141
7
-5.30797609661146e+100
-2.4633752683314583e+98
-9.628340007082016e+98

simplify34.0ms

Iterations
IterNodes
259
159
049

end0.0ms

sample8.2s

Algorithm
intervals
Results
4.6s14854×body80nan
2.5s9236×body80valid