Details

Time bar (total: 3.0m)

sample101.0ms

Algorithm
intervals
Results
56.0ms299×body80valid
17.0ms107×body80nan

simplify148.0ms

Calls
1 calls:
Slowest
148.0ms
(* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l)))))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.1b

localize27.0ms

Local error

Found 4 expressions with local error:

10.5b
(* (/ h l) (/ (* M D) (* 2 d)))
5.8b
(/ (* M D) (* 2 d))
5.8b
(/ (* M D) (* 2 d))
4.9b
(sqrt (- 1 (* (* (/ h l) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d)))))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
69×add-cbrt-cube add-exp-log
26×prod-exp cbrt-unprod
21×cbrt-undiv div-exp
19×add-sqr-sqrt
13×*-un-lft-identity times-frac associate-*l* add-cube-cbrt
7×pow1
5×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
3×sqrt-prod
2×clear-num associate-/r* frac-2neg sqrt-div associate-/l* unswap-sqr
1×frac-times rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Calls
4 calls:
Slowest
57.0ms
(* (/ h l) (/ (* M D) (* 2 d)))
22.0ms
(/ (* M D) (* 2 d))
22.0ms
(/ (* M D) (* 2 d))
10.0ms
(sqrt (- 1 (* (* (/ h l) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d)))))

series409.0ms

Calls
4 calls:
Slowest
205.0ms
(sqrt (- 1 (* (* (/ h l) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d)))))
103.0ms
(* (/ h l) (/ (* M D) (* 2 d)))
52.0ms
(/ (* M D) (* 2 d))
49.0ms
(/ (* M D) (* 2 d))

simplify26.2s

Calls
84 calls:
Slowest
1.5s
(* (* (* (/ h l) (/ h l)) (/ h l)) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d))))
1.5s
(* (/ (* (* h h) h) (* (* l l) l)) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))))
1.4s
(* (/ (* (* h h) h) (* (* l l) l)) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d))))
1.3s
(* (/ (* (* h h) h) (* (* l l) l)) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d))))
1.3s
(* (* (* (/ h l) (/ h l)) (/ h l)) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))))

prune2.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 8.8b

localize36.0ms

Local error

Found 4 expressions with local error:

5.9b
(* h (* (/ 1 l) (/ (* M D) (* 2 d))))
5.8b
(/ (* M D) (* 2 d))
5.8b
(/ (* M D) (* 2 d))
5.1b
(* (/ 1 l) (/ (* M D) (* 2 d)))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
204×add-exp-log
122×add-cbrt-cube
101×prod-exp
60×div-exp
55×cbrt-unprod
34×cbrt-undiv
20×add-sqr-sqrt
16×associate-*l*
14×*-un-lft-identity times-frac
13×add-cube-cbrt
11×pow1
10×rec-exp 1-exp
6×associate-*r*
5×associate-*r/
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u div-inv add-log-exp
3×unswap-sqr
2×frac-times clear-num associate-/r* frac-2neg associate-*l/ *-commutative associate-/l*
Calls
4 calls:
Slowest
83.0ms
(* h (* (/ 1 l) (/ (* M D) (* 2 d))))
31.0ms
(* (/ 1 l) (/ (* M D) (* 2 d)))
22.0ms
(/ (* M D) (* 2 d))
20.0ms
(/ (* M D) (* 2 d))

series218.0ms

Calls
4 calls:
Slowest
77.0ms
(* h (* (/ 1 l) (/ (* M D) (* 2 d))))
58.0ms
(* (/ 1 l) (/ (* M D) (* 2 d)))
48.0ms
(/ (* M D) (* 2 d))
34.0ms
(/ (* M D) (* 2 d))

simplify50.2s

Calls
128 calls:
Slowest
1.8s
(* (* (* h h) h) (* (/ (* (* 1 1) 1) (* (* l l) l)) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))))
1.8s
(* (* (* h h) h) (* (/ (* (* 1 1) 1) (* (* l l) l)) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))))
1.7s
(* (* (* h h) h) (* (* (* (/ 1 l) (/ 1 l)) (/ 1 l)) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))))
1.7s
(* (* (* h h) h) (* (/ (* (* 1 1) 1) (* (* l l) l)) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d)))))
1.7s
(* (* (* h h) h) (* (/ (* (* 1 1) 1) (* (* l l) l)) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d)))))

prune2.8s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 8.7b

localize7.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune64.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 8.7b

localize114.0ms

Local error

Found 4 expressions with local error:

10.5b
(* (/ h l) (/ (* M D) (* 2 d)))
10.5b
(* (/ h l) (/ (* M D) (* 2 d)))
10.5b
(* (/ h l) (/ (* M D) (* 2 d)))
10.3b
(* (* (/ M (/ (* 2 d) D)) (/ M (/ (* 2 d) D))) (/ h l))

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
340×add-cbrt-cube add-exp-log
136×cbrt-undiv div-exp prod-exp cbrt-unprod
53×add-sqr-sqrt
43×times-frac
40×associate-*l*
35×*-un-lft-identity add-cube-cbrt
28×associate-*r*
15×pow1
8×frac-times associate-*l/ unswap-sqr
7×div-inv
6×pow-prod-down associate-*r/
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
146.0ms
(* (* (/ M (/ (* 2 d) D)) (/ M (/ (* 2 d) D))) (/ h l))
55.0ms
(* (/ h l) (/ (* M D) (* 2 d)))
42.0ms
(* (/ h l) (/ (* M D) (* 2 d)))
24.0ms
(* (/ h l) (/ (* M D) (* 2 d)))

series439.0ms

Calls
4 calls:
Slowest
125.0ms
(* (/ h l) (/ (* M D) (* 2 d)))
121.0ms
(* (/ h l) (/ (* M D) (* 2 d)))
103.0ms
(* (/ h l) (/ (* M D) (* 2 d)))
90.0ms
(* (* (/ M (/ (* 2 d) D)) (/ M (/ (* 2 d) D))) (/ h l))

simplify1.5m

Calls
244 calls:
Slowest
1.7s
(* (* (/ (* (* M M) M) (* (* (/ (* 2 d) D) (/ (* 2 d) D)) (/ (* 2 d) D))) (/ (* (* M M) M) (/ (* (* (* 2 d) (* 2 d)) (* 2 d)) (* (* D D) D)))) (* (* (/ h l) (/ h l)) (/ h l)))
1.6s
(* (/ (* (* h h) h) (* (* l l) l)) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d))))
1.6s
(* (* (* (/ h l) (/ h l)) (/ h l)) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d))))
1.5s
(* (* (/ (* (* M M) M) (/ (* (* (* 2 d) (* 2 d)) (* 2 d)) (* (* D D) D))) (/ (* (* M M) M) (/ (* (* (* 2 d) (* 2 d)) (* 2 d)) (* (* D D) D)))) (/ (* (* h h) h) (* (* l l) l)))
1.5s
(* (* (/ (* (* M M) M) (/ (* (* (* 2 d) (* 2 d)) (* 2 d)) (* (* D D) D))) (* (* (/ M (/ (* 2 d) D)) (/ M (/ (* 2 d) D))) (/ M (/ (* 2 d) D)))) (* (* (/ h l) (/ h l)) (/ h l)))

prune7.3s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 8.7b

regimes1.3s

Accuracy

0% (0.7b remaining)

Error of 8.4b against oracle of 7.8b and baseline of 8.4b

bsearch7.0ms

end0.0ms

sample3.4s

Algorithm
intervals
Results
2.2s9327×body80valid
636.0ms3239×body80nan