Details

Time bar (total: 12.7s)

sample45.0ms

Algorithm
intervals
Results
24.0ms256×body80valid

simplify2.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02229
15229
212329
328529
4104129
5446429
done500029

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (sin ky) 2.0)
0.4b
(/ 1.0 (sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))))
3.4b
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
7.9b
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
30×*-un-lft-identity
26×add-cube-cbrt
21×times-frac
19×add-exp-log
15×sqrt-prod
13×unpow-prod-down
11×associate-*l*
8×add-cbrt-cube
6×pow1 prod-exp associate-/r*
5×associate-*r*
4×sqrt-div pow-exp add-log-exp
3×pow-unpow flip3-+ div-exp flip-+ associate-/l* unswap-sqr sqr-pow
2×pow-to-exp associate-*r/ associate-/r/ div-inv distribute-lft-out
1×cbrt-undiv distribute-rgt-in rem-sqrt-square pow-pow frac-2neg distribute-lft-in sqrt-pow1 pow1/2 clear-num *-commutative cbrt-unprod
Counts
4 → 110
Calls
4 calls:
4.0ms
(pow (sin ky) 2.0)
11.0ms
(/ 1.0 (sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))))
82.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
6.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
107.0ms
(pow (sin ky) 2.0)
419.0ms
(/ 1.0 (sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))))
383.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
342.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

simplify794.0ms

Counts
122 → 122
Iterations

Useful iterations: 2 (220.0ms)

IterNodesCost
02223044
15012763
216052653
done50002653

prune496.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
0.4b
(/ 1.0 (sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))))
3.1b
(* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
7.9b
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))))

rewrite194.0ms

Algorithm
rewrite-expression-head
Rules
125×add-exp-log
72×prod-exp
36×pow-exp
33×add-sqr-sqrt
31×*-un-lft-identity
27×add-cube-cbrt
25×div-exp
24×times-frac
22×associate-*l*
17×unpow-prod-down
15×sqrt-prod
13×add-cbrt-cube
12×pow-to-exp
6×associate-*r/ associate-*r* associate-/r*
5×pow1 distribute-rgt-in distribute-lft-in
4×flip3-+ sqrt-div cbrt-unprod flip-+ add-log-exp
3×div-inv associate-/l* unswap-sqr sqr-pow
2×associate-/r/ *-commutative distribute-lft-out
1×cbrt-undiv rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num
Counts
4 → 151
Calls
4 calls:
90.0ms
(* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
12.0ms
(/ 1.0 (sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))))
80.0ms
(* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
6.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
406.0ms
(* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))
433.0ms
(/ 1.0 (sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))))
410.0ms
(* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
356.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (* (pow (/ (* 2.0 l) Om) (/ 2.0 2)) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))))

simplify920.0ms

Counts
163 → 163
Iterations

Useful iterations: done (913.0ms)

IterNodesCost
02466161
15784594
221434324
done50014308

prune620.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.1b

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (sin kx) 2.0)
0.3b
(pow (sin ky) 2.0)
3.4b
(* (pow (/ (* 2.0 l) Om) (* 2 (/ 2.0 2))) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
7.9b
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (* 2 (/ 2.0 2))) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
18×add-exp-log
17×*-un-lft-identity
16×unpow-prod-down
13×add-cube-cbrt
11×associate-*l*
7×pow1
6×pow-unpow prod-exp add-cbrt-cube
5×associate-*r* pow-exp
4×add-log-exp sqr-pow
3×pow-to-exp times-frac sqrt-prod unswap-sqr
2×pow-pow flip3-+ sqrt-div associate-*r/ div-exp flip-+ distribute-lft-out
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 *-commutative cbrt-unprod div-inv
Counts
4 → 86
Calls
4 calls:
4.0ms
(pow (sin kx) 2.0)
4.0ms
(pow (sin ky) 2.0)
86.0ms
(* (pow (/ (* 2.0 l) Om) (* 2 (/ 2.0 2))) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
5.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (* 2 (/ 2.0 2))) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

series975.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(pow (sin kx) 2.0)
107.0ms
(pow (sin ky) 2.0)
402.0ms
(* (pow (/ (* 2.0 l) Om) (* 2 (/ 2.0 2))) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
356.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) (* 2 (/ 2.0 2))) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

simplify750.0ms

Counts
98 → 98
Iterations

Useful iterations: done (746.0ms)

IterNodesCost
01971911
14791723
215841661
done50001649

prune468.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 1.1b

localize6.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 1.1b

regimes300.0ms

Accuracy

0% (0.1b remaining)

Error of 1.3b against oracle of 1.2b and baseline of 1.3b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02541
13241
done3241

end0.0ms

sample1.1s

Algorithm
intervals
Results
766.0ms8000×body80valid