Details

Time bar (total: 3.9m)

sample313.0ms

Algorithm
intervals
Results
263.0ms256×body80valid

simplify1.1s

Counts
1 → 1
Calls
1 calls:
Slowest
1.1s
(sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))))

prune42.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.8b

localize87.0ms

Local error

Found 4 expressions with local error:

7.5b
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
1.5b
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
0.7b
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
0.3b
(* (sin ky) (sin ky))

rewrite430.0ms

Algorithm
rewrite-expression-head
Rules
69×add-cbrt-cube add-exp-log
41×prod-exp cbrt-unprod
38×pow1
30×associate-*r/
19×pow-prod-down
16×frac-times
13×add-sqr-sqrt sin-mult
10×*-un-lft-identity associate-*l/ add-cube-cbrt
8×cbrt-undiv div-exp
7×flip3-+ associate-*l* flip-+
6×frac-add
5×associate-*r*
4×insert-posit16 add-log-exp
3×swap-sqr *-commutative sqrt-prod
2×sqrt-div
1×pow2 rem-sqrt-square sqrt-pow1 pow-plus pow1/2 pow-sqr pow-prod-up sqr-sin unswap-sqr
Counts
4 → 128
Calls
4 calls:
Slowest
241.0ms
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
123.0ms
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
49.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
10.0ms
(* (sin ky) (sin ky))

series742.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
314.0ms
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
220.0ms
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
172.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
36.0ms
(* (sin ky) (sin ky))

simplify48.4s

Counts
153 → 140
Calls
153 calls:
Slowest
1.4s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om)))))
1.2s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))))
1.2s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om)))))
1.1s
(* (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l (/ 2 Om)) (* l (/ 2 Om))) (* l (/ 2 Om)))))
1.0s
(* (* (* (* l (/ 2 Om)) (* l (/ 2 Om))) (* l (/ 2 Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om)))))

prune2.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.5b

localize61.0ms

Local error

Found 4 expressions with local error:

7.5b
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
1.5b
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
0.7b
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
0.3b
(* (sin ky) (sin ky))

rewrite574.0ms

Algorithm
rewrite-expression-head
Rules
69×add-cbrt-cube add-exp-log
41×prod-exp cbrt-unprod
38×pow1
30×associate-*r/
19×pow-prod-down
16×frac-times
13×add-sqr-sqrt sin-mult
10×*-un-lft-identity associate-*l/ add-cube-cbrt
8×cbrt-undiv div-exp
7×flip3-+ associate-*l* flip-+
6×frac-add
5×associate-*r*
4×insert-posit16 add-log-exp
3×swap-sqr *-commutative sqrt-prod
2×sqrt-div
1×pow2 rem-sqrt-square sqrt-pow1 pow-plus pow1/2 pow-sqr pow-prod-up sqr-sin unswap-sqr
Counts
4 → 128
Calls
4 calls:
Slowest
271.0ms
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
219.0ms
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
58.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
21.0ms
(* (sin ky) (sin ky))

series766.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
342.0ms
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
206.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
195.0ms
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
23.0ms
(* (sin ky) (sin ky))

simplify48.0s

Counts
153 → 140
Calls
153 calls:
Slowest
1.4s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om)))))
1.2s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))))
1.1s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om)))))
1.1s
(* (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l (/ 2 Om)) (* l (/ 2 Om))) (* l (/ 2 Om)))))
956.0ms
(* (* (* (* l (/ 2 Om)) (* l (/ 2 Om))) (* l (/ 2 Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l (/ 2 Om)) (* l (/ 2 Om))) (* l (/ 2 Om)))))

prune2.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

localize71.0ms

Local error

Found 4 expressions with local error:

7.5b
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
1.5b
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
0.7b
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
0.5b
(log (exp (sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))))

rewrite787.0ms

Algorithm
rewrite-expression-head
Rules
67×add-cbrt-cube add-exp-log
40×prod-exp cbrt-unprod
32×pow1
30×associate-*r/
18×pow-prod-down
16×frac-times
12×sin-mult
10×add-sqr-sqrt associate-*l/
9×*-un-lft-identity add-cube-cbrt
8×cbrt-undiv div-exp
7×flip3-+ log-pow flip-+
6×exp-prod frac-add sqrt-prod
4×associate-*l* insert-posit16 add-log-exp
3×log-prod
2×sqrt-div associate-*r* *-commutative
1×rem-sqrt-square sqrt-pow1 pow1/2 rem-log-exp
Counts
4 → 119
Calls
4 calls:
Slowest
337.0ms
(log (exp (sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))))
213.0ms
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
169.0ms
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
64.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
347.0ms
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
305.0ms
(log (exp (sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))))
205.0ms
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
186.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))

simplify57.8s

Counts
144 → 131
Calls
144 calls:
Slowest
1.3s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))))
1.2s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om)))))
1.2s
(* (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l (/ 2 Om)) (* l (/ 2 Om))) (* l (/ 2 Om)))))
1.1s
(* (* (* (* l (/ 2 Om)) (* l (/ 2 Om))) (* l (/ 2 Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om)))))
1.1s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om)))))

prune3.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize119.0ms

Local error

Found 4 expressions with local error:

20.0b
(posit16->real (real->posit16 (sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))))
7.5b
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
1.5b
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
0.7b
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))

rewrite531.0ms

Algorithm
rewrite-expression-head
Rules
67×add-cbrt-cube add-exp-log
40×prod-exp cbrt-unprod
31×pow1
30×associate-*r/
18×pow-prod-down
16×frac-times
12×sin-mult
10×associate-*l/
8×cbrt-undiv div-exp
7×add-sqr-sqrt flip3-+ flip-+
6×*-un-lft-identity frac-add add-cube-cbrt
4×associate-*l* insert-posit16 add-log-exp
3×sqrt-prod
2×sqrt-div associate-*r* *-commutative
1×rem-sqrt-square sqrt-pow1 pow1/2 remove-posit16
Counts
4 → 109
Calls
4 calls:
Slowest
245.0ms
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
201.0ms
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
78.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))
1.0ms
(posit16->real (real->posit16 (sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
373.0ms
(posit16->real (real->posit16 (sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))))
356.0ms
(sqrt (+ (* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) 1))
214.0ms
(* (* l (/ 2 Om)) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))))
197.0ms
(* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))

simplify52.8s

Counts
131 → 121
Calls
131 calls:
Slowest
1.4s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om)))))
1.3s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om))) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))) (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (* l (/ 2 Om)))))
1.2s
(* (* l 2) (* (- (* (* (sin ky) (sin ky)) (* (sin ky) (sin ky))) (* (* (sin kx) (sin kx)) (* (sin kx) (sin kx)))) (* l 2)))
1.1s
(* (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l l) l) (/ (* (* 2 2) 2) (* (* Om Om) Om)))))
1.1s
(* (* (* (* l l) l) (* (* (/ 2 Om) (/ 2 Om)) (/ 2 Om))) (* (* (* (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* (* l (/ 2 Om)) (* l (/ 2 Om))) (* l (/ 2 Om)))))

prune4.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.5b

regimes579.0ms

Accuracy

0% (0.5b remaining)

Error of 1.5b against oracle of 1.0b and baseline of 1.5b

bsearch5.0ms

end0.0ms

sample4.1s

Algorithm
intervals
Results
3.8s8000×body80valid