Details

Time bar (total: 2.1m)

sample73.0ms

Algorithm
intervals
Results
44.0ms299×body80valid
12.0ms107×body80nan

simplify115.0ms

Calls
1 calls:
Slowest
114.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: 14.6b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite238.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
175.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
22.0ms
(/ (* M D) (* 2 d))
21.0ms
(/ (* M D) (* 2 d))
8.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))

series369.0ms

Calls
4 calls:
Slowest
202.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
96.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
39.0ms
(/ (* M D) (* 2 d))
33.0ms
(/ (* M D) (* 2 d))

simplify50.2s

Calls
172 calls:
Slowest
2.7s
(* (* (/ (* (* (* 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.6s
(* (* (/ (* (* (* 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.4s
(* (* (/ (* (* (* 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 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)))

prune3.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 8.2b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite208.0ms

Algorithm
rewrite-expression-head
Rules
185×add-cbrt-cube add-exp-log
99×prod-exp cbrt-unprod
48×cbrt-undiv div-exp
11×add-sqr-sqrt
10×pow1
9×*-un-lft-identity
6×add-cube-cbrt sqrt-prod
4×associate-*l/ insert-posit16 add-log-exp
3×associate-*r* pow-prod-down
2×clear-num associate-/r* frac-2neg times-frac sqrt-div div-inv associate-/l* difference-of-squares
1×frac-times rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-*l* associate-*r/ *-commutative flip-- distribute-lft-out-- unswap-sqr
Calls
4 calls:
Slowest
163.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h)
18.0ms
(/ (* M D) (* 2 d))
13.0ms
(/ (* M D) (* 2 d))
9.0ms
(sqrt (- 1 (/ (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h) l)))

series431.0ms

Calls
4 calls:
Slowest
206.0ms
(sqrt (- 1 (/ (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h) l)))
133.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) h)
50.0ms
(/ (* M D) (* 2 d))
43.0ms
(/ (* M D) (* 2 d))

simplify29.9s

Calls
104 calls:
Slowest
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.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.0s
(* (* (/ (* (* (* 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))
1.9s
(* (* (/ (* (* (* 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))
865.0ms
(* (* (* (* (/ (* 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))

prune2.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 7.6b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
46×add-cbrt-cube add-exp-log
17×prod-exp cbrt-unprod
13×add-sqr-sqrt
12×cbrt-undiv div-exp
10×*-un-lft-identity
7×pow1 add-cube-cbrt
6×sqrt-prod
5×associate-*l*
4×insert-posit16 add-log-exp
3×times-frac associate-*r* div-inv
2×clear-num associate-/r* frac-2neg sqrt-div associate-/l* difference-of-squares
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ *-commutative flip-- distribute-lft-out-- unswap-sqr
Calls
4 calls:
Slowest
41.0ms
(* (/ (* M D) (* 2 d)) h)
12.0ms
(/ (* M D) (* 2 d))
11.0ms
(/ (* M D) (* 2 d))
8.0ms
(sqrt (- 1 (/ (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) h)) l)))

series308.0ms

Calls
4 calls:
Slowest
170.0ms
(sqrt (- 1 (/ (* (/ (* M D) (* 2 d)) (* (/ (* M D) (* 2 d)) h)) l)))
66.0ms
(* (/ (* M D) (* 2 d)) h)
43.0ms
(/ (* M D) (* 2 d))
29.0ms
(/ (* M D) (* 2 d))

simplify17.1s

Calls
62 calls:
Slowest
1.2s
(* (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (* (* h h) h))
1.1s
(* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (* (* h h) h))
977.0ms
(* (/ (* (* (* M M) M) (* (* D D) D)) (* (* (* 2 2) 2) (* (* d d) d))) (* (* h h) h))
795.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
741.0ms
(* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d))) (* (* h h) h))

prune1.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 7.6b

localize47.0ms

Local error

Found 4 expressions with local error:

5.8b
(/ (* M D) (* 2 d))
5.8b
(/ (* M D) (* 2 d))
5.8b
(/ (* M D) (* 2 d))
5.8b
(/ (* M D) (* 2 d))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
52×add-cbrt-cube add-exp-log
16×cbrt-undiv div-exp prod-exp cbrt-unprod
4×add-sqr-sqrt pow1 clear-num associate-/r* frac-2neg *-un-lft-identity times-frac add-cube-cbrt insert-posit16 div-inv associate-/l* add-log-exp
Calls
4 calls:
Slowest
27.0ms
(/ (* M D) (* 2 d))
22.0ms
(/ (* M D) (* 2 d))
22.0ms
(/ (* M D) (* 2 d))
21.0ms
(/ (* M D) (* 2 d))

series157.0ms

Calls
4 calls:
Slowest
50.0ms
(/ (* M D) (* 2 d))
38.0ms
(/ (* M D) (* 2 d))
37.0ms
(/ (* M D) (* 2 d))
32.0ms
(/ (* M D) (* 2 d))

simplify12.3s

Calls
52 calls:
Slowest
900.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 2) 2) (* (* d d) d)))
746.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
717.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
716.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
685.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))

prune2.0s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 7.6b

regimes1.3s

Accuracy

48.4% (0.9b remaining)

Error of 8.2b against oracle of 7.3b and baseline of 9.1b

bsearch18.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.8s9327×body80valid
624.0ms3239×body80nan