Details

Time bar (total: 8.0m)

sample103.0ms

Algorithm
intervals
Results
63.0ms290×body80valid
17.0ms99×body80nan

simplify152.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.6b

localize35.0ms

Local error

Found 4 expressions with local error:

11.8b
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
5.8b
(/ (* M D) (* 2 d))
5.8b
(/ (* M D) (* 2 d))
4.5b
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))

rewrite177.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--
Counts
4 → 198
Calls
4 calls:
Slowest
146.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
11.0ms
(/ (* M D) (* 2 d))
10.0ms
(/ (* M D) (* 2 d))
4.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))

series415.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
210.0ms
(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
124.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
50.0ms
(/ (* M D) (* 2 d))
32.0ms
(/ (* M D) (* 2 d))

simplify49.9s

Counts
172 → 210
Calls
172 calls:
Slowest
2.8s
(* (* (/ (* (* (* 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.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.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.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 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.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 7.0b

localize54.0ms

Local error

Found 4 expressions with local error:

7.6b
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* (cbrt h) (cbrt h)) (* (cbrt l) (cbrt l))))
5.8b
(/ (* M D) (* 2 d))
5.8b
(/ (* M D) (* 2 d))
4.5b
(sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* (cbrt h) (cbrt h)) (* (cbrt l) (cbrt l)))) (/ (cbrt h) (cbrt l)))))

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
1021×add-exp-log
813×add-cbrt-cube
567×prod-exp cbrt-unprod
312×cbrt-undiv div-exp
10×pow1
8×add-sqr-sqrt
6×*-un-lft-identity add-cube-cbrt
5×frac-times associate-*r* associate-*l/
4×times-frac 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--
Counts
4 → 346
Calls
4 calls:
Slowest
178.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* (cbrt h) (cbrt h)) (* (cbrt l) (cbrt l))))
20.0ms
(/ (* M D) (* 2 d))
15.0ms
(/ (* M D) (* 2 d))
7.0ms
(sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* (cbrt h) (cbrt h)) (* (cbrt l) (cbrt l)))) (/ (cbrt h) (cbrt l)))))

series496.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
216.0ms
(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* (cbrt h) (cbrt h)) (* (cbrt l) (cbrt l))))
179.0ms
(sqrt (- 1 (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* (cbrt h) (cbrt h)) (* (cbrt l) (cbrt l)))) (/ (cbrt h) (cbrt l)))))
53.0ms
(/ (* M D) (* 2 d))
48.0ms
(/ (* M D) (* 2 d))

simplify1.6m

Counts
321 → 358
Calls
321 calls:
Slowest
2.8s
(* (* (/ (* (* (* 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) (* l l)))
2.5s
(* (* (/ (* (* (* 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) (* 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 h) (* l l)))
2.2s
(* (* (/ (* (* (* 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) (* l l)))
1.7s
(sqrt (- (* 1 1) (* (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* (cbrt h) (cbrt h)) (* (cbrt l) (cbrt l)))) (/ (cbrt h) (cbrt l))) (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* (cbrt h) (cbrt h)) (* (cbrt l) (cbrt l)))) (/ (cbrt h) (cbrt l))))))

prune7.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.9b

localize67.0ms

Local error

Found 4 expressions with local error:

6.1b
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
6.1b
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
4.5b
(sqrt (- 1 (* (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))) (/ (cbrt h) (cbrt l)))))
1.9b
(* (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))) (/ (cbrt h) (cbrt l)))

rewrite366.0ms

Algorithm
rewrite-expression-head
Rules
1861×add-exp-log
1407×add-cbrt-cube
983×cbrt-undiv div-exp
654×prod-exp cbrt-unprod
392×times-frac
180×add-sqr-sqrt
170×*-un-lft-identity add-cube-cbrt
88×associate-/r*
40×cbrt-prod associate-*r*
19×div-inv
10×pow1
6×associate-/r/
5×frac-times associate-*l/ associate-*r/ unswap-sqr
4×insert-posit16 add-log-exp
3×pow-prod-down sqrt-prod
2×clear-num frac-2neg sqrt-div associate-/l* associate-/l/
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-*l* *-commutative flip--
Counts
4 → 724
Calls
4 calls:
Slowest
243.0ms
(* (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))) (/ (cbrt h) (cbrt l)))
29.0ms
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
28.0ms
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
8.0ms
(sqrt (- 1 (* (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))) (/ (cbrt h) (cbrt l)))))

series826.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
215.0ms
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
209.0ms
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
203.0ms
(sqrt (- 1 (* (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))) (/ (cbrt h) (cbrt l)))))
199.0ms
(* (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))) (/ (cbrt h) (cbrt l)))

simplify3.7m

Counts
788 → 736
Calls
788 calls:
Slowest
3.3s
(* (* (/ (* (* (* M M) M) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l)))) (* (* (/ 2 (/ D d)) (/ 2 (/ D d))) (/ 2 (/ D d)))) (/ (* (* (* M M) M) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l)))) (* (* (/ 2 (/ D d)) (/ 2 (/ D d))) (/ 2 (/ D d))))) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l))))
2.6s
(* (* (/ (* (* (* M (/ (cbrt h) (cbrt l))) (* M (/ (cbrt h) (cbrt l)))) (* M (/ (cbrt h) (cbrt l)))) (/ (* (* 2 2) 2) (* (* (/ D d) (/ D d)) (/ D d)))) (/ (* (* (* M (/ (cbrt h) (cbrt l))) (* M (/ (cbrt h) (cbrt l)))) (* M (/ (cbrt h) (cbrt l)))) (/ (* (* 2 2) 2) (/ (* (* D D) D) (* (* d d) d))))) (/ h l))
2.4s
(* (* (/ (* (* (* M (/ (cbrt h) (cbrt l))) (* M (/ (cbrt h) (cbrt l)))) (* M (/ (cbrt h) (cbrt l)))) (* (* (/ 2 (/ D d)) (/ 2 (/ D d))) (/ 2 (/ D d)))) (/ (* (* (* M (/ (cbrt h) (cbrt l))) (* M (/ (cbrt h) (cbrt l)))) (* M (/ (cbrt h) (cbrt l)))) (* (* (/ 2 (/ D d)) (/ 2 (/ D d))) (/ 2 (/ D d))))) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l))))
2.4s
(* (* (/ (* (* (* M M) M) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l)))) (/ (* (* 2 2) 2) (/ (* (* D D) D) (* (* d d) d)))) (/ (* (* (* M M) M) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l)))) (/ (* (* 2 2) 2) (* (* (/ D d) (/ D d)) (/ D d))))) (/ h l))
2.1s
(* (* (/ (* (* (* M M) M) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l)))) (* (* (/ 2 (/ D d)) (/ 2 (/ D d))) (/ 2 (/ D d)))) (/ (* (* (* M M) M) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l)))) (* (* (/ 2 (/ D d)) (/ 2 (/ D d))) (/ 2 (/ D d))))) (/ h l))

prune16.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.7b

localize77.0ms

Local error

Found 4 expressions with local error:

6.1b
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
6.1b
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
4.5b
(sqrt (- 1 (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l))))))
2.0b
(* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
502×times-frac
221×add-sqr-sqrt
206×*-un-lft-identity add-cube-cbrt
180×add-exp-log
136×add-cbrt-cube
94×cbrt-undiv div-exp
88×associate-/r*
49×associate-*l*
44×prod-exp cbrt-unprod
40×cbrt-prod associate-*r*
24×div-inv
8×associate-/r/
7×pow1
5×unswap-sqr
4×insert-posit16 add-log-exp
3×associate-*r/ sqrt-prod
2×clear-num frac-2neg sqrt-div associate-/l* associate-/l/
1×frac-times rem-sqrt-square sqrt-pow1 flip3-- pow1/2 pow-prod-down associate-*l/ *-commutative flip--
Counts
4 → 403
Calls
4 calls:
Slowest
72.0ms
(* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l)))
15.0ms
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
14.0ms
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
8.0ms
(sqrt (- 1 (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l))))))

series864.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
248.0ms
(* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l)))
230.0ms
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
205.0ms
(/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d)))
181.0ms
(sqrt (- 1 (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l))))))

simplify1.2m

Counts
464 → 415
Calls
464 calls:
Slowest
964.0ms
(sqrt (- (* 1 1) (* (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l)))) (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l)))))))
959.0ms
(sqrt (- (pow 1 3) (pow (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (* (/ (* M (/ (cbrt h) (cbrt l))) (/ 2 (/ D d))) (/ (cbrt h) (cbrt l)))) 3)))
913.0ms
(* (/ (* (* (* M M) M) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l)))) (/ (* (* 2 2) 2) (/ (* (* D D) D) (* (* d d) d)))) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l))))
891.0ms
(* (/ (* (* (* M M) M) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l)))) (* (* (/ 2 (/ D d)) (/ 2 (/ D d))) (/ 2 (/ D d)))) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l))))
862.0ms
(* (/ (* (* (* M (/ (cbrt h) (cbrt l))) (* M (/ (cbrt h) (cbrt l)))) (* M (/ (cbrt h) (cbrt l)))) (* (* (/ 2 (/ D d)) (/ 2 (/ D d))) (/ 2 (/ D d)))) (* (* (/ (cbrt h) (cbrt l)) (/ (cbrt h) (cbrt l))) (/ (cbrt h) (cbrt l))))

prune5.9s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 5.7b

regimes1.4s

Accuracy

0% (1.5b remaining)

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

bsearch4.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.2s9380×body80valid
423.0ms3171×body80nan