Details

Time bar (total: 18.0s)

sample85.0ms

Algorithm
intervals
Results
33.0ms256×body80valid
25.0ms229×body80nan

simplify29.0ms

Counts
1 → 1
Iterations
IterNodes
done29
529
428
326
223
121
014

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize71.0ms

Local error

Found 4 expressions with local error:

1.0b
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
1.0b
(/ (acos (/ (- g) h)) 3.0)
1.0b
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
1.0b
(/ (* 2.0 PI) 3.0)

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity
14×add-sqr-sqrt add-cube-cbrt
12×times-frac
11×add-cbrt-cube add-exp-log
6×associate-/r* div-sub add-log-exp
4×pow1 associate-+r- div-inv associate-/l*
3×acos-asin cbrt-undiv acos-neg div-exp distribute-frac-neg
2×cos-diff clear-num frac-2neg
1×+-commutative cos-sum sum-log flip3-+ distribute-rgt-out frac-add prod-exp cbrt-unprod flip-+ distribute-lft-out
Counts
4 → 76
Calls
4 calls:
53.0ms
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
5.0ms
(/ (acos (/ (- g) h)) 3.0)
20.0ms
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
14.0ms
(/ (* 2.0 PI) 3.0)

series200.0ms

Counts
4 → 10
Calls
4 calls:
144.0ms
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
12.0ms
(/ (acos (/ (- g) h)) 3.0)
43.0ms
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
0.0ms
(/ (* 2.0 PI) 3.0)

simplify2.7s

Counts
86 → 86
Iterations
IterNodes
done5405
33768
2953
1332
0159

prune543.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ PI 3.0)
1.0b
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
1.0b
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
58.2b
(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
25×times-frac
16×add-sqr-sqrt add-cube-cbrt
10×distribute-rgt-out
8×add-log-exp
6×add-cbrt-cube add-exp-log
5×div-inv
4×pow1
3×associate-/r* associate-/l*
2×+-commutative sum-log distribute-lft1-in flip3-+ frac-add flip-+ distribute-lft-out
1×cbrt-undiv clear-num frac-2neg sin-sum div-exp
Counts
4 → 73
Calls
4 calls:
4.0ms
(/ PI 3.0)
27.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
32.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
65.0ms
(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(/ PI 3.0)
0.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
0.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
0.0ms
(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

simplify2.2s

Counts
77 → 77
Iterations
IterNodes
done5002
32081
2600
1217
0107

prune762.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

1.0b
(cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))
1.0b
(/ (* 2.0 PI) 3.0)
1.0b
(/ PI 3.0)
1.0b
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))

rewrite271.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
20×times-frac
16×add-sqr-sqrt add-cube-cbrt
11×add-cbrt-cube add-exp-log
6×associate-/r* add-log-exp
5×distribute-rgt-out
4×pow1 cos-sum div-inv associate-/l*
3×cbrt-undiv div-exp
2×clear-num frac-2neg
1×acos-asin cos-diff +-commutative sum-log sub-neg distribute-lft1-in flip3-+ div-sub frac-add prod-exp associate--l+ cbrt-unprod flip-+ distribute-lft-out associate--r-
Counts
4 → 79
Calls
4 calls:
208.0ms
(cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))
20.0ms
(/ (* 2.0 PI) 3.0)
7.0ms
(/ PI 3.0)
31.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))

series147.0ms

Counts
4 → 6
Calls
4 calls:
147.0ms
(cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))
0.0ms
(/ (* 2.0 PI) 3.0)
0.0ms
(/ PI 3.0)
0.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))

simplify3.0s

Counts
85 → 85
Iterations
IterNodes
done5046
34419
21076
1337
0155

prune473.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize113.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ PI 3.0)
1.0b
(/ PI 3.0)
1.0b
(- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))
1.0b
(- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))

rewrite509.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
32×*-un-lft-identity
30×times-frac
20×add-cube-cbrt
14×add-log-exp
8×add-cbrt-cube add-exp-log
6×associate-/r* frac-sub associate-/l* distribute-lft-out-- difference-of-squares
4×pow1 diff-log div-inv
2×cbrt-undiv clear-num sum-log sub-neg frac-2neg flip3-+ distribute-rgt-out flip3-- div-exp frac-add associate--l+ flip-+ flip-- distribute-lft-out
Counts
4 → 100
Calls
4 calls:
6.0ms
(/ PI 3.0)
4.0ms
(/ PI 3.0)
251.0ms
(- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))
243.0ms
(- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(/ PI 3.0)
0.0ms
(/ PI 3.0)
0.0ms
(- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))
0.0ms
(- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))

simplify2.6s

Counts
104 → 104
Iterations
IterNodes
done5002
34133
2963
1306
0135

prune857.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes147.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify11.0ms

Iterations
IterNodes
done26
126
020

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.3s7859×body80nan
1.2s8000×body80valid