Details

Time bar (total: 1.6m)

sample110.0ms

Algorithm
intervals
Results
46.0ms256×body80valid
45.0ms271×body80nan

simplify92.0ms

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-add
62×*-un-lft-identity
60×associate-/r* associate-/l*
56×add-sqr-sqrt add-cube-cbrt
20×clear-num frac-2neg times-frac
8×add-cbrt-cube add-exp-log
6×div-sub add-log-exp
4×pow1 associate-+l- insert-posit16
3×acos-asin acos-neg distribute-frac-neg
2×cos-diff cbrt-undiv +-commutative cos-sum div-exp div-inv distribute-lft-out
1×sum-log flip3-+ flip-+
Calls
4 calls:
Slowest
42.0ms
(cos (+ (/ (acos (/ (- g) h)) 3) (/ PI 3/2)))
11.0ms
(+ (/ (acos (/ (- g) h)) 3) (/ PI 3/2))
9.0ms
(/ (acos (/ (- g) h)) 3)
7.0ms
(/ PI 3/2)

series219.0ms

Calls
4 calls:
Slowest
144.0ms
(cos (+ (/ (acos (/ (- g) h)) 3) (/ PI 3/2)))
55.0ms
(+ (/ (acos (/ (- g) h)) 3) (/ PI 3/2))
19.0ms
(/ (acos (/ (- g) h)) 3)
0.0ms
(/ PI 3/2)

simplify14.7s

Calls
232 calls:
Slowest
294.0ms
(+ (* (/ (acos (/ (- g) h)) (* (cbrt 3) (cbrt 3))) (/ 3/2 (cbrt PI))) (* (cbrt 3) (* (cbrt PI) (cbrt PI))))
289.0ms
(+ (* (/ (acos (/ (- g) h)) (* (cbrt 3) (cbrt 3))) (/ 3/2 PI)) (* (cbrt 3) 1))
281.0ms
(/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* 3 3) 3))
269.0ms
(+ (* (/ (acos (/ (- g) h)) (* (cbrt 3) (cbrt 3))) (/ 3/2 PI)) (* (cbrt 3) 1))
262.0ms
(+ (* (/ (acos (/ (- g) h)) (sqrt 3)) (/ 3/2 PI)) (* (sqrt 3) 1))

prune1.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

56.5b
(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
1.0b
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
1.0b
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
1.0b
(sin (/ PI 3))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
162×frac-sub
108×associate-/r* associate-/l*
100×add-sqr-sqrt
88×*-un-lft-identity
76×add-cube-cbrt
36×clear-num frac-2neg
12×times-frac
8×add-log-exp difference-of-squares
4×pow1 add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out--
3×associate--l- acos-asin sub-neg div-sub
2×cos-diff cos-sum flip3-- diff-log flip--
1×sin-PI/3
Calls
4 calls:
Slowest
47.0ms
(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
14.0ms
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
13.0ms
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
5.0ms
(sin (/ PI 3))

series246.0ms

Calls
4 calls:
Slowest
149.0ms
(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
51.0ms
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
45.0ms
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
0.0ms
(sin (/ PI 3))

simplify30.2s

Calls
365 calls:
Slowest
829.0ms
(- (* (/ (acos (/ g h)) (* (cbrt 3) (cbrt 3))) (/ 3/2 PI)) (* (cbrt 3) 1))
421.0ms
(- (* 1 (sqrt 3/2)) (* (/ 3 (acos (/ g h))) (/ PI (sqrt 3/2))))
373.0ms
(- (* 1 (sqrt 3/2)) (* (/ 3 (acos (/ g h))) (/ PI (sqrt 3/2))))
358.0ms
(- (* 1 (sqrt 3/2)) (* (/ 3 (acos (/ g h))) (/ PI (sqrt 3/2))))
352.0ms
(- (* 1 (sqrt 3/2)) (* (/ 3 (acos (/ g h))) (/ PI (sqrt 3/2))))

prune3.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

56.6b
(cos (/ (- (/ 3/2 (/ PI (acos (/ g h)))) 3) (/ 9/2 PI)))
1.0b
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
1.0b
(/ PI 3/2)
1.0b
(sin (/ PI 3))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
60×add-sqr-sqrt
57×associate-/r* associate-/l*
54×*-un-lft-identity
48×add-cube-cbrt
19×clear-num frac-2neg
15×times-frac
6×add-cbrt-cube add-exp-log add-log-exp
4×pow1 insert-posit16 difference-of-squares
2×div-sub distribute-lft-out--
1×associate--l- acos-asin cos-diff cbrt-undiv sub-neg sin-PI/3 flip3-- diff-log div-exp div-inv flip--
Calls
4 calls:
Slowest
101.0ms
(cos (/ (- (/ 3/2 (/ PI (acos (/ g h)))) 3) (/ 9/2 PI)))
15.0ms
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
5.0ms
(sin (/ PI 3))
4.0ms
(/ PI 3/2)

series208.0ms

Calls
4 calls:
Slowest
144.0ms
(cos (/ (- (/ 3/2 (/ PI (acos (/ g h)))) 3) (/ 9/2 PI)))
63.0ms
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
0.0ms
(/ PI 3/2)
0.0ms
(sin (/ PI 3))

simplify17.4s

Calls
209 calls:
Slowest
627.0ms
(* (cos (/ (/ 3/2 (/ PI (acos (/ g h)))) (/ 9/2 PI))) (cos (/ 3 (/ 9/2 PI))))
453.0ms
(cos (* 2/9 (* (- (* 3/2 (/ (acos (/ g h)) PI)) 3) PI)))
419.0ms
(cos (* 2/9 (* (- (* 3/2 (/ (acos (/ g h)) PI)) 3) PI)))
413.0ms
(cos (* 2/9 (* (- (* 3/2 (/ (acos (/ g h)) PI)) 3) PI)))
406.0ms
(- (* 1 (sqrt 3/2)) (* (/ 3 (acos (/ g h))) (/ PI (sqrt 3/2))))

prune2.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite944.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
60×add-sqr-sqrt
57×associate-/r* associate-/l*
54×*-un-lft-identity
48×add-cube-cbrt
19×clear-num frac-2neg
15×times-frac
6×add-cbrt-cube add-exp-log add-log-exp
4×pow1 insert-posit16 difference-of-squares
2×div-sub distribute-lft-out--
1×associate--l- acos-asin cos-diff cbrt-undiv sub-neg sin-PI/3 flip3-- diff-log div-exp div-inv flip--
Calls
4 calls:
Slowest
907.0ms
(cos (/ (- (* (/ (acos (/ g h)) (* (cbrt 3) (cbrt 3))) 3/2) (* (cbrt 3) PI)) (* (cbrt 3) 3/2)))
25.0ms
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
5.0ms
(sin (/ PI 3))
3.0ms
(/ PI 3/2)

series764.0ms

Calls
4 calls:
Slowest
696.0ms
(cos (/ (- (* (/ (acos (/ g h)) (* (cbrt 3) (cbrt 3))) 3/2) (* (cbrt 3) PI)) (* (cbrt 3) 3/2)))
67.0ms
(- (/ (acos (/ g h)) 3) (/ PI 3/2))
0.0ms
(/ PI 3/2)
0.0ms
(sin (/ PI 3))

simplify17.2s

Calls
211 calls:
Slowest
671.0ms
(* (/ 3 (acos (/ g h))) (/ 3/2 (cbrt PI)))
444.0ms
(* (cos (/ (* (/ (acos (/ g h)) (* (cbrt 3) (cbrt 3))) 3/2) (* (cbrt 3) 3/2))) (cos (/ (* (cbrt 3) PI) (* (cbrt 3) 3/2))))
441.0ms
(- (* 1 (sqrt 3/2)) (* (/ 3 (acos (/ g h))) (/ PI (sqrt 3/2))))
380.0ms
(- (* 1 (sqrt 3/2)) (* (/ 3 (acos (/ g h))) (/ PI (sqrt 3/2))))
337.0ms
(- (* (/ (acos (/ g h)) (* (cbrt 3) (cbrt 3))) (/ 3/2 PI)) (* (cbrt 3) 1))

prune3.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes69.0ms

Accuracy

0% (0.0b remaining)

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

bsearch11.0ms

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.8s8000×body80valid
1.6s7848×body80nan