Details

Time bar (total: 26.2s)

sample97.0ms

Algorithm
intervals
Results
52.0ms285×body80valid
17.0ms96×body80nan

simplify857.0ms

Counts
1 → 1
Iterations
IterNodes
done2008
42008
3596
295
138
017

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.7b

localize43.0ms

Local error

Found 4 expressions with local error:

3.8b
(/ (* M D) d)
3.8b
(/ (* M D) d)
5.7b
(sqrt (- 1 (* (/ (/ (/ (* M D) d) 2) (/ l h)) (/ (/ (* M D) d) 2))))
10.6b
(/ (/ (/ (* M D) d) 2) (/ l h))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
985×times-frac
388×add-sqr-sqrt
387×*-un-lft-identity add-cube-cbrt
85×div-inv
46×add-cbrt-cube add-exp-log
27×associate-/l*
26×cbrt-undiv div-exp
19×associate-/r*
5×pow1
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-/r/ flip-- associate-/l/
Counts
4 → 460
Calls
4 calls:
14.0ms
(/ (* M D) d)
10.0ms
(/ (* M D) d)
6.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) d) 2) (/ l h)) (/ (/ (* M D) d) 2))))
27.0ms
(/ (/ (/ (* M D) d) 2) (/ l h))

series318.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ (* M D) d)
21.0ms
(/ (* M D) d)
176.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) d) 2) (/ l h)) (/ (/ (* M D) d) 2))))
91.0ms
(/ (/ (/ (* M D) d) 2) (/ l h))

simplify1.1s

Counts
472 → 472
Iterations
IterNodes
done2000
12000
0864

prune4.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 9.2b

localize29.0ms

Local error

Found 4 expressions with local error:

3.8b
(/ (* M D) d)
4.4b
(/ (/ (/ (* M D) d) 2) l)
5.2b
(* (/ (/ (/ (* M D) d) 2) l) h)
5.7b
(sqrt (- 1 (* (* (/ (/ (/ (* M D) d) 2) l) h) (/ (/ (* M D) d) 2))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
366×times-frac
168×add-sqr-sqrt
158×*-un-lft-identity add-cube-cbrt
79×associate-*l*
43×add-cbrt-cube add-exp-log
31×div-inv
26×associate-/l*
20×cbrt-undiv div-exp
8×prod-exp cbrt-unprod
7×pow1
6×associate-/r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* sqrt-prod unswap-sqr
2×clear-num frac-2neg sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ *-commutative flip-- associate-/l/
Counts
4 → 275
Calls
4 calls:
18.0ms
(/ (* M D) d)
20.0ms
(/ (/ (/ (* M D) d) 2) l)
39.0ms
(* (/ (/ (/ (* M D) d) 2) l) h)
6.0ms
(sqrt (- 1 (* (* (/ (/ (/ (* M D) d) 2) l) h) (/ (/ (* M D) d) 2))))

series424.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(/ (* M D) d)
69.0ms
(/ (/ (/ (* M D) d) 2) l)
108.0ms
(* (/ (/ (/ (* M D) d) 2) l) h)
212.0ms
(sqrt (- 1 (* (* (/ (/ (/ (* M D) d) 2) l) h) (/ (/ (* M D) d) 2))))

simplify1.4s

Counts
287 → 287
Iterations
IterNodes
done2002
22002
11175
0462

prune2.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 9.2b

localize56.0ms

Local error

Found 4 expressions with local error:

3.8b
(/ (* M D) d)
4.4b
(/ (/ (/ (* M D) d) (sqrt 2)) l)
5.2b
(* (/ (/ (/ (* M D) d) (sqrt 2)) l) h)
5.7b
(sqrt (- 1 (* (* (/ (/ 1 (sqrt 2)) 1) (* (/ (/ (/ (* M D) d) (sqrt 2)) l) h)) (/ (/ (* M D) d) 2))))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
704×times-frac
305×add-sqr-sqrt
291×*-un-lft-identity add-cube-cbrt
151×sqrt-prod
142×associate-*l*
52×div-inv
47×associate-/l*
43×add-cbrt-cube add-exp-log
20×cbrt-undiv div-exp
8×prod-exp cbrt-unprod
7×pow1
6×associate-/r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×associate-*r*
2×clear-num frac-2neg sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ *-commutative flip-- associate-/l/
Counts
4 → 423
Calls
4 calls:
19.0ms
(/ (* M D) d)
20.0ms
(/ (/ (/ (* M D) d) (sqrt 2)) l)
46.0ms
(* (/ (/ (/ (* M D) d) (sqrt 2)) l) h)
6.0ms
(sqrt (- 1 (* (* (/ (/ 1 (sqrt 2)) 1) (* (/ (/ (/ (* M D) d) (sqrt 2)) l) h)) (/ (/ (* M D) d) 2))))

series1.2s

Counts
4 → 12
Calls
4 calls:
35.0ms
(/ (* M D) d)
164.0ms
(/ (/ (/ (* M D) d) (sqrt 2)) l)
298.0ms
(* (/ (/ (/ (* M D) d) (sqrt 2)) l) h)
658.0ms
(sqrt (- 1 (* (* (/ (/ 1 (sqrt 2)) 1) (* (/ (/ (/ (* M D) d) (sqrt 2)) l) h)) (/ (/ (* M D) d) 2))))

simplify1.6s

Counts
435 → 435
Iterations
IterNodes
done2000
22000
11503
0584

prune3.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 9.2b

localize68.0ms

Local error

Found 4 expressions with local error:

3.8b
(/ (* M D) d)
4.4b
(/ (/ (/ (* M D) d) 2) l)
5.2b
(* (/ (/ (/ (* M D) d) 2) l) h)
5.7b
(sqrt (- 1 (* (* (/ (/ (/ (* M D) d) 2) l) h) (/ (/ 1 (/ d (* M D))) 2))))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
366×times-frac
168×add-sqr-sqrt
158×*-un-lft-identity add-cube-cbrt
79×associate-*l*
43×add-cbrt-cube add-exp-log
31×div-inv
26×associate-/l*
20×cbrt-undiv div-exp
8×prod-exp cbrt-unprod
7×pow1
6×associate-/r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* sqrt-prod unswap-sqr
2×clear-num frac-2neg sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ *-commutative flip-- associate-/l/
Counts
4 → 275
Calls
4 calls:
10.0ms
(/ (* M D) d)
15.0ms
(/ (/ (/ (* M D) d) 2) l)
43.0ms
(* (/ (/ (/ (* M D) d) 2) l) h)
6.0ms
(sqrt (- 1 (* (* (/ (/ (/ (* M D) d) 2) l) h) (/ (/ 1 (/ d (* M D))) 2))))

series386.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(/ (* M D) d)
42.0ms
(/ (/ (/ (* M D) d) 2) l)
93.0ms
(* (/ (/ (/ (* M D) d) 2) l) h)
220.0ms
(sqrt (- 1 (* (* (/ (/ (/ (* M D) d) 2) l) h) (/ (/ 1 (/ d (* M D))) 2))))

simplify1.3s

Counts
287 → 287
Iterations
IterNodes
done2005
22005
11203
0464

prune2.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 9.2b

regimes1.1s

Accuracy

0% (0.5b remaining)

Error of 8.5b against oracle of 8.0b and baseline of 8.5b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done29
129
022

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.9s9270×body80valid
603.0ms3051×body80nan