Details

Time bar (total: 3.0m)

sample90.0ms

Algorithm
intervals
Results
52.0ms290×body80valid
16.0ms87×body80nan

simplify162.0ms

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

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.3b

localize51.0ms

Local error

Found 4 expressions with local error:

11.7b
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
4.6b
(/ (* M D) (* 2 d))
4.6b
(/ (* M D) (* 2 d))
3.6b
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))

rewrite221.0ms

Algorithm
rewrite-expression-head
Rules
368×add-cbrt-cube add-exp-log
190×prod-exp cbrt-unprod
114×cbrt-undiv div-exp
16×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity times-frac add-cube-cbrt
10×pow1
5×frac-times associate-*l/
4×insert-posit16 add-log-exp
3×pow-prod-down associate-*r/ sqrt-prod div-inv
2×clear-num associate-/r* frac-2neg sqrt-div associate-/l* unswap-sqr
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-*l* *-commutative flip--
Calls
4 calls:
Slowest
168.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
22.0ms
(/ (* M D) (* 2 d))
10.0ms
(/ (* M D) (* 2 d))
8.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))

series338.0ms

Calls
4 calls:
Slowest
163.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
106.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
40.0ms
(/ (* M D) (* 2 d))
29.0ms
(/ (* M D) (* 2 d))

simplify51.3s

Calls
172 calls:
Slowest
3.3s
(* (* (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d))) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d)))) (/ (* (* h h) h) (* (* l l) l)))
2.6s
(* (* (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))) (* (* (/ h l) (/ h l)) (/ h l)))
2.4s
(* (* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d))) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d)))) (/ (* (* h h) h) (* (* l l) l)))
2.4s
(* (* (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d))) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d)))) (* (* (/ h l) (/ h l)) (/ h l)))
2.2s
(* (* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d))) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d)))) (* (* (/ h l) (/ h l)) (/ h l)))

prune3.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 6.6b

localize53.0ms

Local error

Found 4 expressions with local error:

5.8b
(/ (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h) l)
4.6b
(/ (* M D) (* 2 d))
4.6b
(/ (* M D) (* 2 d))
3.9b
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h)

rewrite312.0ms

Algorithm
rewrite-expression-head
Rules
370×add-cbrt-cube add-exp-log
190×prod-exp cbrt-unprod
115×cbrt-undiv div-exp
9×pow1
8×add-sqr-sqrt associate-*l/
7×*-un-lft-identity add-cube-cbrt
5×associate-/r* times-frac
4×insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*r* pow-prod-down div-inv associate-/l* associate-/l/
2×frac-times associate-*r/
1×associate-*l* *-commutative unswap-sqr
Calls
4 calls:
Slowest
145.0ms
(/ (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h) l)
118.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h)
21.0ms
(/ (* M D) (* 2 d))
11.0ms
(/ (* M D) (* 2 d))

series338.0ms

Calls
4 calls:
Slowest
128.0ms
(/ (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h) l)
108.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h)
56.0ms
(/ (* M D) (* 2 d))
46.0ms
(/ (* M D) (* 2 d))

simplify46.0s

Calls
160 calls:
Slowest
2.3s
(* (* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))) (* (* h h) h))
2.3s
(* (* (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d))) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d)))) (* (* h h) h))
2.1s
(* (* (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))) (* (* h h) h))
2.0s
(* (* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d))) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d)))) (* (* h h) h))
1.4s
(/ (* (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d))) (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d)))) (* (* h h) h)) (* (* l l) l))

prune3.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 6.6b

localize37.0ms

Local error

Found 4 expressions with local error:

6.4b
(* (/ (* M D) (* 2 d)) h)
5.8b
(/ (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) h)) l)
4.6b
(/ (* M D) (* 2 d))
4.6b
(/ (* M D) (* 2 d))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
251×add-cbrt-cube add-exp-log
116×prod-exp cbrt-unprod
87×cbrt-undiv div-exp
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×pow1 times-frac
5×associate-/r* associate-*l*
4×associate-*l/ insert-posit16 div-inv add-log-exp
3×clear-num frac-2neg associate-*r* associate-/l* associate-/l/
1×frac-times pow-prod-down associate-*r/ *-commutative unswap-sqr
Calls
4 calls:
Slowest
106.0ms
(/ (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) h)) l)
36.0ms
(* (/ (* M D) (* 2 d)) h)
17.0ms
(/ (* M D) (* 2 d))
10.0ms
(/ (* M D) (* 2 d))

series270.0ms

Calls
4 calls:
Slowest
110.0ms
(/ (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) h)) l)
87.0ms
(* (/ (* M D) (* 2 d)) h)
40.0ms
(/ (* M D) (* 2 d))
33.0ms
(/ (* M D) (* 2 d))

simplify37.0s

Calls
126 calls:
Slowest
2.2s
(/ (* (* (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) h)) (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) h))) (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) h))) (* (* l l) l))
2.1s
(/ (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d))) (* (* (* (/ (* M D) (* 2 d)) h) (* (/ (* M D) (* 2 d)) h)) (* (/ (* M D) (* 2 d)) h))) (* (* l l) l))
1.8s
(/ (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d))) (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d))) (* (* h h) h))) (* (* l l) l))
1.2s
(* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (* (* h h) h))
1.1s
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))

prune2.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 6.3b

localize41.0ms

Local error

Found 4 expressions with local error:

6.4b
(* (/ (* M D) (* 2 d)) h)
4.6b
(/ (* M D) (* 2 d))
4.6b
(/ (* M D) (* 2 d))
4.2b
(/ (* (/ (* M D) (* 2 d)) h) l)

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
71×add-cbrt-cube add-exp-log
26×prod-exp cbrt-unprod
22×cbrt-undiv div-exp
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×pow1 times-frac
5×associate-/r* associate-*l*
4×insert-posit16 div-inv add-log-exp
3×clear-num frac-2neg associate-*r* associate-/l*
2×associate-*l/
1×pow-prod-down *-commutative unswap-sqr associate-/l/
Calls
4 calls:
Slowest
38.0ms
(* (/ (* M D) (* 2 d)) h)
24.0ms
(/ (* (/ (* M D) (* 2 d)) h) l)
11.0ms
(/ (* M D) (* 2 d))
10.0ms
(/ (* M D) (* 2 d))

series258.0ms

Calls
4 calls:
Slowest
111.0ms
(/ (* (/ (* M D) (* 2 d)) h) l)
64.0ms
(* (/ (* M D) (* 2 d)) h)
44.0ms
(/ (* M D) (* 2 d))
38.0ms
(/ (* M D) (* 2 d))

simplify24.8s

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

prune1.9s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 6.3b

regimes1.1s

Accuracy

0% (1.0b remaining)

Error of 8.3b against oracle of 7.4b and baseline of 8.3b

bsearch4.0ms

end0.0ms

sample3.6s

Algorithm
intervals
Results
2.4s9305×body80valid
645.0ms3095×body80nan