Details

Time bar (total: 37.1s)

sample736.0ms

Algorithm
intervals
Results
237.0ms134×body1280nan
140.0ms108×body640nan
102.0ms200×body80valid
52.0ms276×body80nan
33.0ms54×body320nan
31.0ms23×body1280valid
28.0ms20×body640valid
15.0ms37×body160nan
6.0ms10×body320valid
1.0msbody160valid

simplify411.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (79.0ms)

IterNodesCost
01743
14343
29533
318623
434723
551523
done51523

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.8b

localize54.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* Z (sin (/ a 2.0))) (* Z (sin (/ a 2.0))))
0.2b
(* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))
0.2b
(* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0))))
11.8b
(sqrt (+ (+ (* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0)))) (* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))) (* (* Z (sin (/ a 2.0))) (* Z (sin (/ a 2.0))))))

rewrite660.0ms

Algorithm
rewrite-expression-head
Rules
122×pow1
51×pow-prod-down
40×add-cbrt-cube add-exp-log
24×prod-exp cbrt-unprod
12×pow-sqr pow-prod-up
add-sqr-sqrt pow-plus
*-un-lft-identity add-cube-cbrt
add-log-exp
pow2 swap-sqr associate-*r* associate-*l* *-commutative sqrt-prod
sqrt-div
rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 117
Calls
4 calls:
77.0ms
(* (* Z (sin (/ a 2.0))) (* Z (sin (/ a 2.0))))
79.0ms
(* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))
79.0ms
(* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0))))
417.0ms
(sqrt (+ (+ (* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0)))) (* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))) (* (* Z (sin (/ a 2.0))) (* Z (sin (/ a 2.0))))))

series955.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(* (* Z (sin (/ a 2.0))) (* Z (sin (/ a 2.0))))
149.0ms
(* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))
138.0ms
(* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0))))
527.0ms
(sqrt (+ (+ (* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0)))) (* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))) (* (* Z (sin (/ a 2.0))) (* Z (sin (/ a 2.0))))))

simplify1.9s

Counts
129 → 129
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01582570
14362212
222661591
done50011360

prune578.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* Z (sin (/ a 2.0))) Z)
0.2b
(* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))
0.2b
(* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0))))
11.8b
(sqrt (+ (+ (* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0)))) (* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))) (* (* (* Z (sin (/ a 2.0))) Z) (sin (/ a 2.0)))))

rewrite627.0ms

Algorithm
rewrite-expression-head
Rules
88×pow1
37×pow-prod-down
33×add-cbrt-cube add-exp-log
19×prod-exp cbrt-unprod
pow-sqr pow-prod-up
add-sqr-sqrt
*-un-lft-identity add-cube-cbrt
associate-*r*
pow-plus add-log-exp
associate-*l* *-commutative sqrt-prod
pow2 sqrt-div swap-sqr
rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 101
Calls
4 calls:
48.0ms
(* (* Z (sin (/ a 2.0))) Z)
74.0ms
(* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))
76.0ms
(* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0))))
422.0ms
(sqrt (+ (+ (* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0)))) (* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))) (* (* (* Z (sin (/ a 2.0))) Z) (sin (/ a 2.0)))))

series893.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(* (* Z (sin (/ a 2.0))) Z)
133.0ms
(* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))
139.0ms
(* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0))))
531.0ms
(sqrt (+ (+ (* (* X (sin (/ a 2.0))) (* X (sin (/ a 2.0)))) (* (* Y (sin (/ a 2.0))) (* Y (sin (/ a 2.0))))) (* (* (* Z (sin (/ a 2.0))) Z) (sin (/ a 2.0)))))

simplify2.7s

Counts
113 → 113
Iterations

Useful iterations: done (2.7s)

IterNodesCost
01592287
14352043
226771506
done50041504

prune556.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 6.0b

regimes475.0ms

Accuracy

0% (6.6b remaining)

Error of 13.7b against oracle of 7.1b and baseline of 13.7b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01843
12543
done2543

end0.0ms

sample26.5s

Algorithm
intervals
Results
9.0s4477×body1280nan
6.1s3779×body640nan
2.2s612×body1280valid
1.8s8268×body80nan
1.5s500×body640valid
1.5s1792×body320nan
1.3s6476×body80valid
452.0ms905×body160nan
181.0ms269×body320valid
69.0ms143×body160valid