Details

Time bar (total: 18.6s)

sample98.0ms

Algorithm
intervals
Results
44.0ms256×body80valid
25.0ms236×body80nan

simplify47.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.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:
5.0ms
(/ (acos (/ (- g) h)) 3.0)
29.0ms
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
23.0ms
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0))
13.0ms
(/ (* 2.0 PI) 3.0)

series209.0ms

Counts
4 → 10
Calls
4 calls:
17.0ms
(/ (acos (/ (- g) h)) 3.0)
147.0ms
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))
45.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
done5423
33750
2956
1332
0159

prune558.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize65.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)))

rewrite96.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:
7.0ms
(/ PI 3.0)
21.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
16.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))
49.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.3s

Counts
77 → 77
Iterations
IterNodes
done5002
32081
2600
1217
0107

prune754.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize54.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))

rewrite289.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:
249.0ms
(cos (- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (acos (/ g h)) 3.0)))
7.0ms
(/ (* 2.0 PI) 3.0)
4.0ms
(/ PI 3.0)
26.0ms
(+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))

series149.0ms

Counts
4 → 6
Calls
4 calls:
149.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.1s

Counts
85 → 85
Iterations
IterNodes
done5046
34419
21076
1337
0155

prune477.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize130.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))

rewrite470.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:
4.0ms
(/ PI 3.0)
4.0ms
(/ PI 3.0)
201.0ms
(- (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (/ (/ PI 2) 3.0))
257.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.8s

Counts
104 → 104
Iterations
IterNodes
done5002
34133
2963
1306
0135

prune914.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes90.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done26
126
020

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s8000×body80valid
1.0s7869×body80nan