Details

Time bar (total: 27.0s)

sample309.0ms

Algorithm
intervals
Results
49.0ms341×body80nan
32.0ms23×body320valid
26.0ms164×body80valid
17.0ms31×body640valid
17.0ms26×body1280valid
14.0ms20×body1280nan
12.0ms23×body640nan
4.0ms9×body320nan
4.0ms12×body160valid
2.0ms6×body160nan

simplify682.0ms

Counts
1 → 1

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 42.1b

localize55.0ms

Local error

Found 4 expressions with local error:

20.2b
(sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))
12.8b
(- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))
0.5b
(* (sqrt 2) t)
0.0b
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×sqrt-prod
12×*-un-lft-identity add-cube-cbrt
11×add-cbrt-cube add-exp-log
7×pow1
6×associate-/r* times-frac associate-*l* add-log-exp
4×sqrt-div insert-posit16
3×flip3-- associate-*r* flip--
2×cbrt-undiv div-exp prod-exp associate--l+ associate-/r/ cbrt-unprod unswap-sqr
1×distribute-rgt-in rem-sqrt-square clear-num sub-neg frac-2neg distribute-lft-in sqrt-pow1 pow1/2 diff-log pow-prod-down *-commutative div-inv associate-/l*
Counts
4 → 84
Calls
4 calls:
Slowest
64.0ms
(sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))
59.0ms
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
26.0ms
(- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))
7.0ms
(* (sqrt 2) t)

series2.8s

Counts
4 → 12
Calls
4 calls:
Slowest
1.9s
(sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))
551.0ms
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
225.0ms
(- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))
58.0ms
(* (sqrt 2) t)

simplify810.0ms

Counts
109 → 96

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 7.0b

localize52.0ms

Local error

Found 4 expressions with local error:

25.4b
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* l l) x)))))
8.4b
(/ x (* t t))
7.0b
(/ (* l l) x)
3.4b
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* l l) x))))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
14×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
6×times-frac add-log-exp
5×pow1
4×cbrt-undiv associate-/r* flip3-+ sqrt-div div-exp frac-add associate-*r/ flip-+ insert-posit16 associate-/l*
3×sqrt-prod
2×associate-+r+ clear-num frac-2neg prod-exp cbrt-unprod div-inv
1×distribute-rgt-in +-commutative rem-sqrt-square sum-log distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 78
Calls
4 calls:
Slowest
58.0ms
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* l l) x)))))
24.0ms
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* l l) x))))
17.0ms
(/ (* l l) x)
13.0ms
(/ x (* t t))

series620.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
434.0ms
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* l l) x)))))
123.0ms
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* l l) x))))
34.0ms
(/ (* l l) x)
29.0ms
(/ x (* t t))

simplify837.0ms

Counts
106 → 90

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.3b

localize73.0ms

Local error

Found 4 expressions with local error:

25.4b
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ l (/ x l))))))
8.4b
(/ x (* t t))
3.4b
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ l (/ x l)))))
0.6b
(/ 4 (/ x (* t t)))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
24×add-sqr-sqrt
23×*-un-lft-identity add-cube-cbrt
18×add-cbrt-cube add-exp-log
8×associate-/r*
7×cbrt-undiv div-exp
6×div-inv associate-/l* add-log-exp
5×pow1
4×flip3-+ sqrt-div frac-add associate-*r/ flip-+ insert-posit16
3×sqrt-prod
2×associate-+r+ clear-num frac-2neg prod-exp cbrt-unprod
1×distribute-rgt-in +-commutative rem-sqrt-square sum-log distribute-lft-in sqrt-pow1 pow1/2 associate-/r/
Counts
4 → 105
Calls
4 calls:
Slowest
51.0ms
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ l (/ x l)))))
27.0ms
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ l (/ x l))))))
17.0ms
(/ 4 (/ x (* t t)))
6.0ms
(/ x (* t t))

series517.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
350.0ms
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ l (/ x l))))))
98.0ms
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ l (/ x l)))))
39.0ms
(/ 4 (/ x (* t t)))
29.0ms
(/ x (* t t))

simplify787.0ms

Counts
151 → 117

prune1.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 3.3b

localize78.0ms

Local error

Found 4 expressions with local error:

25.4b
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x))))))
8.4b
(/ x (* t t))
3.4b
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x)))))
1.3b
(/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
27×add-exp-log
18×add-cbrt-cube
12×add-sqr-sqrt
11×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
9×times-frac
7×associate-/r*
6×cbrt-prod add-log-exp
5×pow1 prod-exp associate-*r/ cbrt-unprod
4×flip3-+ sqrt-div frac-add flip-+ insert-posit16 associate-/l*
3×sqrt-prod associate-/l/
2×associate-+r+ clear-num frac-2neg div-inv
1×distribute-rgt-in frac-times +-commutative rem-sqrt-square sum-log distribute-lft-in sqrt-pow1 pow1/2 associate-*l/
Counts
4 → 93
Calls
4 calls:
Slowest
50.0ms
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x)))))
33.0ms
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x))))))
28.0ms
(/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x))
13.0ms
(/ x (* t t))

series695.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
442.0ms
(sqrt (+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x))))))
148.0ms
(+ (/ 4 (/ x (* t t))) (* 2 (+ (* t t) (/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x)))))
66.0ms
(/ (* (/ l (cbrt x)) (/ l (cbrt x))) (cbrt x))
39.0ms
(/ x (* t t))

simplify1.2s

Counts
124 → 105

prune1.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 3.3b

regimes786.0ms

Accuracy

78.1% (5.2b remaining)

Error of 8.9b against oracle of 3.7b and baseline of 27.5b

bsearch993.0ms

end0.0ms

sample9.5s

Algorithm
intervals
Results
2.4s10227×body80nan
2.1s5156×body80valid
1.4s808×body1280valid
997.0ms1067×body640valid
651.0ms612×body1280nan
507.0ms591×body640nan
357.0ms645×body320valid
229.0ms323×body320nan
151.0ms324×body160valid
87.0ms148×body160nan