Details

Time bar (total: 26.3s)

sample143.0ms

Algorithm
intervals
Results
67.0ms256×body80valid

simplify5.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
02229
15229
212329
328529
4104129
5446429
done500029

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.5b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log
20×add-sqr-sqrt unpow-prod-down
18×*-un-lft-identity
14×add-cube-cbrt
11×associate-*l*
7×pow1 pow-exp prod-exp
6×pow-unpow times-frac add-cbrt-cube
5×associate-*r*
4×div-exp add-log-exp sqr-pow
3×pow-to-exp sqrt-prod unswap-sqr
2×pow-pow flip3-+ sqrt-div associate-*r/ flip-+ div-inv distribute-lft-out
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 *-commutative cbrt-unprod
Counts
4 → 92
Calls
4 calls:
8.0ms
(pow (sin kx) 2.0)
20.0ms
(pow (/ (* 2.0 l) Om) 2.0)
145.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
15.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:
140.0ms
(pow (sin kx) 2.0)
101.0ms
(pow (/ (* 2.0 l) Om) 2.0)
521.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
567.0ms
(sqrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

simplify1.2s

Counts
104 → 104
Iterations

Useful iterations: 2 (349.0ms)

IterNodesCost
02051788
14921621
216021559
done50001559

prune655.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.9b

localize47.0ms

Local error

Found 4 expressions with local error:

2.9b
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
2.9b
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log
24×add-sqr-sqrt
22×*-un-lft-identity associate-*l*
20×unpow-prod-down
14×add-cube-cbrt
12×prod-exp
10×associate-*r*
8×add-cbrt-cube
6×cbrt-prod times-frac pow-exp unswap-sqr
4×pow1 cbrt-div flip3-+ associate-*r/ div-exp flip-+ distribute-lft-out add-log-exp sqr-pow
2×distribute-rgt-in pow-to-exp distribute-lft-in pow1/3 *-commutative cbrt-unprod div-inv
Counts
4 → 100
Calls
4 calls:
127.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
153.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
3.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
3.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

series2.1s

Counts
4 → 12
Calls
4 calls:
551.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
596.0ms
(* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))
486.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
472.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

simplify1.2s

Counts
112 → 112
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01362686
13542506
212872370
done50002364

prune973.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.9b

localize91.0ms

Local error

Found 4 expressions with local error:

13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt cbrt-div *-un-lft-identity
4×pow1 add-exp-log flip3-+ pow1/3 add-cbrt-cube flip-+ add-log-exp
Counts
4 → 52
Calls
4 calls:
6.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
6.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
6.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
6.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

series2.0s

Counts
4 → 12
Calls
4 calls:
447.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
500.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
513.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
502.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

simplify2.1s

Counts
64 → 64
Iterations

Useful iterations: 3 (523.0ms)

IterNodesCost
0461960
11101872
23731688
319931676
done50001676

prune614.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.9b

localize98.0ms

Local error

Found 4 expressions with local error:

13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
13.8b
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt cbrt-div *-un-lft-identity
4×pow1 add-exp-log flip3-+ pow1/3 add-cbrt-cube flip-+ add-log-exp
Counts
4 → 52
Calls
4 calls:
3.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
4.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
6.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
7.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

series1.9s

Counts
4 → 12
Calls
4 calls:
469.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
507.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
480.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))
451.0ms
(cbrt (+ 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))

simplify1.7s

Counts
64 → 64
Iterations

Useful iterations: 3 (368.0ms)

IterNodesCost
0461960
11101872
23731688
319931676
done50001676

prune677.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 1.9b

regimes643.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02897
13697
done3697

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.5s8000×body80valid