Details

Time bar (total: 34.8s)

sample213.0ms

Algorithm
intervals
Results
74.0ms53×body640valid
59.0ms40×body1280valid
35.0ms133×body80valid
13.0ms16×body320valid
7.0ms14×body160valid

simplify974.0ms

Counts
1 → 1
Iterations
IterNodes
52043
4623
3190
283
134
017

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.4b

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ U (* (* J 2) (cos (/ K 2))))
0.1b
(* (cos (/ K 2)) (* -2 J))
0.1b
(* (* J 2) (cos (/ K 2)))
7.4b
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (* (cos (/ K 2)) (* -2 J)))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
32×add-cbrt-cube add-exp-log
23×pow1
15×prod-exp cbrt-unprod
12×pow-prod-down
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×associate-*l*
5×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv times-frac div-exp *-commutative associate-/l*
1×clear-num associate-/r* frac-2neg div-inv
Counts
4 → 92
Calls
4 calls:
14.0ms
(/ U (* (* J 2) (cos (/ K 2))))
28.0ms
(* (cos (/ K 2)) (* -2 J))
31.0ms
(* (* J 2) (cos (/ K 2)))
45.0ms
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (* (cos (/ K 2)) (* -2 J)))

series636.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(/ U (* (* J 2) (cos (/ K 2))))
83.0ms
(* (cos (/ K 2)) (* -2 J))
78.0ms
(* (* J 2) (cos (/ K 2)))
346.0ms
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (* (cos (/ K 2)) (* -2 J)))

simplify5.0s

Counts
104 → 104
Iterations
IterNodes
38613
21469
1408
0162

prune1.4s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.3b

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (cos (/ K 2)))
0.1b
(/ U (* (* J 2) (cos (/ K 2))))
0.1b
(* (* J 2) (cos (/ K 2)))
7.4b
(* (* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (cos (/ K 2))) (* -2 J))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
32×add-cbrt-cube add-exp-log
23×pow1
15×prod-exp cbrt-unprod
12×pow-prod-down
11×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
7×associate-*r*
5×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv times-frac div-exp *-commutative associate-/l*
1×clear-num associate-/r* frac-2neg div-inv unswap-sqr
Counts
4 → 93
Calls
4 calls:
15.0ms
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (cos (/ K 2)))
29.0ms
(/ U (* (* J 2) (cos (/ K 2))))
36.0ms
(* (* J 2) (cos (/ K 2)))
31.0ms
(* (* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (cos (/ K 2))) (* -2 J))

series751.0ms

Counts
4 → 12
Calls
4 calls:
246.0ms
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (cos (/ K 2)))
92.0ms
(/ U (* (* J 2) (cos (/ K 2))))
80.0ms
(* (* J 2) (cos (/ K 2)))
333.0ms
(* (* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (cos (/ K 2))) (* -2 J))

simplify4.9s

Counts
105 → 105
Iterations
IterNodes
38009
21448
1401
0160

prune1.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.3b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b
(hypot 1 (/ (/ U (* J 2)) (cos (/ K 2))))
0.1b
(* (hypot 1 (/ (/ U (* J 2)) (cos (/ K 2)))) (cos (/ K 2)))
0.1b
(/ (/ U (* J 2)) (cos (/ K 2)))
7.4b
(* (* (hypot 1 (/ (/ U (* J 2)) (cos (/ K 2)))) (cos (/ K 2))) (* -2 J))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
33×times-frac
27×add-cbrt-cube add-exp-log
24×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
18×pow1
10×prod-exp cbrt-unprod
9×pow-prod-down
7×associate-/l*
5×cbrt-undiv div-exp div-inv
4×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r*
2×*-commutative
1×hypot-udef clear-num frac-2neg unswap-sqr associate-/l/
Counts
4 → 108
Calls
4 calls:
0.0ms
(hypot 1 (/ (/ U (* J 2)) (cos (/ K 2))))
16.0ms
(* (hypot 1 (/ (/ U (* J 2)) (cos (/ K 2)))) (cos (/ K 2)))
31.0ms
(/ (/ U (* J 2)) (cos (/ K 2)))
48.0ms
(* (* (hypot 1 (/ (/ U (* J 2)) (cos (/ K 2)))) (cos (/ K 2))) (* -2 J))

series935.0ms

Counts
4 → 12
Calls
4 calls:
225.0ms
(hypot 1 (/ (/ U (* J 2)) (cos (/ K 2))))
217.0ms
(* (hypot 1 (/ (/ U (* J 2)) (cos (/ K 2)))) (cos (/ K 2)))
133.0ms
(/ (/ U (* J 2)) (cos (/ K 2)))
360.0ms
(* (* (hypot 1 (/ (/ U (* J 2)) (cos (/ K 2)))) (cos (/ K 2))) (* -2 J))

simplify4.5s

Counts
120 → 120
Iterations
IterNodes
38025
21594
1481
0205

prune1.7s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.3b

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (cos (/ K 2)))
0.3b
(cbrt (cos (/ K 2)))
0.3b
(cbrt (cos (/ K 2)))
7.4b
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (* -2 J))))

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
33×pow1 add-exp-log
23×add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 associate-*l*
1×associate-*r* *-commutative
Counts
4 → 78
Calls
4 calls:
1.0ms
(cbrt (cos (/ K 2)))
1.0ms
(cbrt (cos (/ K 2)))
1.0ms
(cbrt (cos (/ K 2)))
180.0ms
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (* -2 J))))

series789.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(cbrt (cos (/ K 2)))
141.0ms
(cbrt (cos (/ K 2)))
163.0ms
(cbrt (cos (/ K 2)))
308.0ms
(* (hypot 1 (/ U (* (* J 2) (cos (/ K 2))))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (* -2 J))))

simplify2.8s

Counts
90 → 90
Iterations
IterNodes
35929
21260
1325
0124

prune1.4s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.3b

regimes529.0ms

Accuracy

0% (4.0b remaining)

Error of 7.7b against oracle of 3.7b and baseline of 7.7b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
219
119
015

end0.0ms

sample6.0s

Algorithm
intervals
Results
2.5s1482×body1280valid
1.6s1300×body640valid
962.0ms4273×body80valid
539.0ms628×body320valid
165.0ms320×body160valid