Details

Time bar (total: 25.5s)

sample125.0ms

Algorithm
intervals
Results
54.0ms256×body80valid
48.0ms242×body80nan

simplify68.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
68.0ms
(* 2 (cos (+ (/ (* 2 PI) 3) (/ (acos (/ (- g) h)) 3))))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize41.0ms

Local error

Found 3 expressions with local error:

1.0b
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
1.0b
(/ (acos (/ (- g) h)) 3)
0.0b
(fma 2/3 PI (/ (acos (/ (- g) h)) 3))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
5×add-cbrt-cube add-exp-log
3×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u associate-/l* add-log-exp
2×div-sub fma-udef
1×acos-asin cbrt-undiv acos-neg cos-sum clear-num frac-2neg div-exp distribute-frac-neg div-inv
Counts
3 → 54
Calls
3 calls:
Slowest
10.0ms
(/ (acos (/ (- g) h)) 3)
5.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
0.0ms
(fma 2/3 PI (/ (acos (/ (- g) h)) 3))

series187.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
133.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
35.0ms
(fma 2/3 PI (/ (acos (/ (- g) h)) 3))
19.0ms
(/ (acos (/ (- g) h)) 3)

simplify1.2s

Counts
36 → 63
Calls
36 calls:
Slowest
224.0ms
(/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* 3 3) 3))
94.0ms
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
94.0ms
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
63.0ms
(* 1/3 (acos (* -1 (/ g h))))
58.0ms
(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))

prune866.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.0b

localize46.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
1.0b
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
1.0b
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
1.0b
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
16×cbrt-prod
12×*-un-lft-identity add-cube-cbrt
11×pow1
6×pow1/3 swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×cos-sum fma-udef
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 76
Calls
4 calls:
Slowest
14.0ms
(* (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
5.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
5.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
4.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))

series745.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
321.0ms
(* (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
144.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
140.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
139.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))

simplify3.6s

Counts
59 → 88
Calls
59 calls:
Slowest
457.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
438.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
435.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
181.0ms
(* (* (cbrt (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))) (cbrt (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))) (* (cbrt (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))) (cbrt (cbrt (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))))
84.0ms
(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
1.0b
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))
1.0b
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
1.0b
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×swap-sqr associate-*r* associate-*l*
2×cos-sum cos-mult fma-udef
1×cbrt-prod pow2 sqr-cos cbrt-div pow-plus pow1/3 pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 65
Calls
4 calls:
Slowest
10.0ms
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))
5.0ms
(cbrt (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
2.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
2.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))

series736.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
243.0ms
(cbrt (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
192.0ms
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))
176.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
124.0ms
(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))

simplify3.6s

Counts
39 → 77
Calls
39 calls:
Slowest
444.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
401.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
398.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
267.0ms
(* (* (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (* (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
232.0ms
(pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2)

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize86.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (* (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
1.0b
(cbrt (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
1.0b
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))
1.0b
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1
16×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
8×add-cbrt-cube add-exp-log
6×swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u cos-mult insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-prod pow2 sqr-cos cbrt-div pow-plus pow1/3 pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
1×pow3 associate-*l/ rem-cbrt-cube
Counts
4 → 87
Calls
4 calls:
Slowest
39.0ms
(cbrt (* (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
10.0ms
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))
9.0ms
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))
8.0ms
(cbrt (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))

series829.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
329.0ms
(cbrt (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
188.0ms
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))
174.0ms
(* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))))
139.0ms
(cbrt (* (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))

simplify5.1s

Counts
63 → 99
Calls
63 calls:
Slowest
463.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
406.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
401.0ms
(pow (pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2) 1/3)
210.0ms
(pow (cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))) 2)
206.0ms
(* (* (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (* (* (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))) (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))

prune1.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes216.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch9.0ms

end0.0ms

sample4.1s

Algorithm
intervals
Results
2.0s7811×body80nan
1.6s8000×body80valid