Details

Time bar (total: 1.1m)

sample491.0ms

Algorithm
intervals
Results
89.0ms155×body80valid
80.0ms34×body1280valid
75.0ms322×body80nan
34.0ms34×body640valid
28.0ms22×body1280nan
22.0ms21×body640nan
15.0ms21×body320valid
13.0ms14×body320nan
6.0ms12×body160valid
4.0ms8×body160nan

simplify285.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
284.0ms
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.0b

localize46.0ms

Local error

Found 4 expressions with local error:

14.7b
(sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))
14.1b
(- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))
0.4b
(* (sqrt 2) t)
0.3b
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))

rewrite138.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
61.0ms
(sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))
42.0ms
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
24.0ms
(- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))
8.0ms
(* (sqrt 2) t)

series2.4s

Counts
4 → 12
Calls
4 calls:
Slowest
1.5s
(sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))
532.0ms
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
234.0ms
(- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))
76.0ms
(* (sqrt 2) t)

simplify11.1s

Counts
61 → 96
Calls
61 calls:
Slowest
439.0ms
(- (+ (log (sqrt 2)) (log t)) (log (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))))
380.0ms
(/ (sqrt 2) (* (cbrt (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (cbrt (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))))
375.0ms
(/ (* (* (* (sqrt 2) t) (* (sqrt 2) t)) (* (sqrt 2) t)) (* (* (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))))
373.0ms
(sqrt (- (pow (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) 3) (pow (* l l) 3)))
367.0ms
(sqrt (+ (* (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t))))) (+ (* (* l l) (* l l)) (* (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))))

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.8b

localize64.0ms

Local error

Found 4 expressions with local error:

22.8b
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
0.6b
(+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x)))
0.4b
(* (sqrt 2) t)
0.3b
(/ (* (sqrt 2) t) (sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x)))))

rewrite166.0ms

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

series690.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
301.0ms
(/ (* (sqrt 2) t) (sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x)))))
234.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
97.0ms
(+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x)))
57.0ms
(* (sqrt 2) t)

simplify10.0s

Counts
69 → 101
Calls
69 calls:
Slowest
547.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
522.0ms
(- (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))) (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))))
464.0ms
(sqrt (+ (* (* (* t t) (+ (/ 4 x) 2)) (* (* t t) (+ (/ 4 x) 2))) (- (* (* (* l 2) (/ l x)) (* (* l 2) (/ l x))) (* (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))))
357.0ms
(- (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))) (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))))
336.0ms
(sqrt (+ (pow (* (* t t) (+ (/ 4 x) 2)) 3) (pow (* (* l 2) (/ l x)) 3)))

prune1.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.0b

localize75.0ms

Local error

Found 4 expressions with local error:

22.8b
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
22.8b
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
22.8b
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
3.5b
(cbrt (/ (* (sqrt 2) t) (sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))))

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-div associate-*r/
14×cbrt-prod
13×add-sqr-sqrt
12×sqrt-prod
10×*-un-lft-identity add-cube-cbrt
8×flip3-+ frac-add flip-+
7×pow1
6×times-frac
4×add-cbrt-cube add-exp-log associate-/r/ insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-div pow1/3 div-inv
Counts
4 → 78
Calls
4 calls:
Slowest
46.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
42.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
40.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
39.0ms
(cbrt (/ (* (sqrt 2) t) (sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
729.0ms
(cbrt (/ (* (sqrt 2) t) (sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))))
227.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
213.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
210.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))

simplify11.5s

Counts
54 → 90
Calls
54 calls:
Slowest
601.0ms
(- (* (* (exp (* 1/3 (+ (log t) (log (sqrt 2))))) (exp (* 1/6 (+ (log 1/2) (log x))))) (pow (/ 1 l) 1/3)) (+ (* 1/3 (* (* (pow t 2) (* (exp (* 1/3 (+ (log t) (log (sqrt 2))))) (exp (* 1/6 (+ (log 1/2) (log x)))))) (pow (/ 1 (pow l 7)) 1/3))) (* 1/6 (* (* (pow t 2) (* (exp (* 1/3 (+ (log t) (log (sqrt 2))))) (exp (* 1/6 (+ (log 1/2) (* 7 (log x))))))) (pow (/ 1 (pow l 7)) 1/3)))))
423.0ms
(- (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))) (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))))
419.0ms
(- (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))) (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))))
412.0ms
(- (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))) (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))))
400.0ms
(- (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))) (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))))

prune1.6s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.0b

localize102.0ms

Local error

Found 4 expressions with local error:

22.8b
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
22.8b
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
22.8b
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
3.5b
(cbrt (/ (* (sqrt 2) t) (sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-div associate-*r/
14×cbrt-prod
13×add-sqr-sqrt
12×sqrt-prod
10×*-un-lft-identity add-cube-cbrt
8×flip3-+ frac-add flip-+
7×pow1
6×times-frac
4×add-cbrt-cube add-exp-log associate-/r/ insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-div pow1/3 div-inv
Counts
4 → 78
Calls
4 calls:
Slowest
60.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
50.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
43.0ms
(cbrt (/ (* (sqrt 2) t) (sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))))
37.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
715.0ms
(cbrt (/ (* (sqrt 2) t) (sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))))
227.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
226.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))
203.0ms
(sqrt (+ (* (* t t) (+ (/ 4 x) 2)) (* (* l 2) (/ l x))))

simplify11.7s

Counts
54 → 90
Calls
54 calls:
Slowest
695.0ms
(sqrt (- (* (* (* t t) (+ (/ 4 x) 2)) (* (* t t) (+ (/ 4 x) 2))) (* (* (* l 2) (/ l x)) (* (* l 2) (/ l x)))))
597.0ms
(- (* (* (exp (* 1/3 (+ (log t) (log (sqrt 2))))) (exp (* 1/6 (+ (log 1/2) (log x))))) (pow (/ 1 l) 1/3)) (+ (* 1/3 (* (* (pow t 2) (* (exp (* 1/3 (+ (log t) (log (sqrt 2))))) (exp (* 1/6 (+ (log 1/2) (log x)))))) (pow (/ 1 (pow l 7)) 1/3))) (* 1/6 (* (* (pow t 2) (* (exp (* 1/3 (+ (log t) (log (sqrt 2))))) (exp (* 1/6 (+ (log 1/2) (* 7 (log x))))))) (pow (/ 1 (pow l 7)) 1/3)))))
509.0ms
(- (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))) (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))))
452.0ms
(- (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))) (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))))
448.0ms
(- (+ (* t (sqrt 2)) (* 2 (/ t (* (sqrt 2) x)))) (* 2 (/ t (* (pow (sqrt 2) 3) (pow x 2)))))

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.0b

regimes775.0ms

Accuracy

73.5% (6.4b remaining)

Error of 9.6b against oracle of 3.2b and baseline of 27.2b

bsearch267.0ms

end0.0ms

sample8.8s

Algorithm
intervals
Results
2.3s10056×body80nan
1.5s5166×body80valid
949.0ms999×body640valid
938.0ms822×body1280valid
849.0ms646×body320valid
735.0ms588×body1280nan
503.0ms614×body640nan
228.0ms343×body320nan
138.0ms367×body160valid
77.0ms207×body160nan