Details

Time bar (total: 19.9s)

sample58.0ms

Algorithm
intervals
Results
34.0ms256×body80valid

simplify4.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
02229
15229
212329
328529
4104129
5446429
done500029

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.2b

localize37.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (sin ky) 2.0)
0.3b
(pow (sin kx) 2.0)
1.6b
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
7.8b
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

rewrite159.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:
8.0ms
(pow (sin ky) 2.0)
8.0ms
(pow (sin kx) 2.0)
123.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
14.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
173.0ms
(pow (sin ky) 2.0)
213.0ms
(pow (sin kx) 2.0)
591.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
584.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

simplify1.1s

Counts
98 → 98
Iterations

Useful iterations: 2 (305.0ms)

IterNodesCost
01951635
14691475
215491429
done50011429

prune753.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.9b

localize53.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sin ky))
0.6b
(cbrt (sin ky))
1.6b
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (* (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0))))
7.8b
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (* (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0))))))

rewrite144.0ms

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

series1.4s

Counts
4 → 12
Calls
4 calls:
155.0ms
(cbrt (sin ky))
163.0ms
(cbrt (sin ky))
561.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (* (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0))))
554.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (* (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0))))))

simplify1.2s

Counts
84 → 84
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01642233
14222043
215321763
done50001757

prune745.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.9b

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (sin ky) 2.0)
0.3b
(pow (sin kx) 2.0)
1.3b
(log (exp (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
1.6b
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log add-sqr-sqrt
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×log-prod associate-*r* pow-exp add-log-exp
4×sqr-pow
3×pow-to-exp times-frac log-pow unswap-sqr
2×distribute-rgt-in pow-pow distribute-lft-in associate-*r/ div-exp exp-sum distribute-lft-out
1×exp-prod exp-to-pow flip3-+ rem-log-exp *-commutative cbrt-unprod flip-+ div-inv
Counts
4 → 87
Calls
4 calls:
8.0ms
(pow (sin ky) 2.0)
8.0ms
(pow (sin kx) 2.0)
24.0ms
(log (exp (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
117.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

series1.6s

Counts
4 → 12
Calls
4 calls:
153.0ms
(pow (sin ky) 2.0)
136.0ms
(pow (sin kx) 2.0)
646.0ms
(log (exp (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
646.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))

simplify1.3s

Counts
99 → 99
Iterations

Useful iterations: 2 (316.0ms)

IterNodesCost
01911606
14421501
214241399
done50001399

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.9b

localize9.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: 0.9b

regimes707.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02640
13340
done3340

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.4s7999×body80valid
0.0ms1×body160valid