Details

Time bar (total: 30.2s)

sample319.0ms

Algorithm
intervals
Results
146.0ms113×body1280valid
54.0ms28×body320valid
52.0ms61×body640valid
16.0ms256×pre80true
7.0ms43×body80valid
4.0ms11×body160valid

simplify6.4s

Counts
1 → 1
Iterations
IterNodes
done5000
94724
81354
7446
6193
589
439
333
222
115
09

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.2b

localize30.0ms

Local error

Found 3 expressions with local error:

0.1b
(- x (- (tan a) (tan (+ y z))))
0.2b
(- (tan a) (tan (+ y z)))
4.7b
(tan (+ y z))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity add-log-exp
7×add-sqr-sqrt
4×diff-log tan-quot distribute-lft-out--
3×pow1 sub-neg add-cbrt-cube add-exp-log add-cube-cbrt
2×tan-sum flip3-- frac-sub flip-- associate--r+ difference-of-squares
1×associate--r-
Counts
3 → 44
Calls
3 calls:
13.0ms
(- x (- (tan a) (tan (+ y z))))
18.0ms
(- (tan a) (tan (+ y z)))
10.0ms
(tan (+ y z))

series422.0ms

Counts
3 → 9
Calls
3 calls:
179.0ms
(- x (- (tan a) (tan (+ y z))))
172.0ms
(- (tan a) (tan (+ y z)))
71.0ms
(tan (+ y z))

simplify1.1s

Counts
53 → 53
Iterations
IterNodes
done5000
31680
2461
1200
096

prune402.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ (tan y) (tan z))
0.1b
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
0.2b
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
0.2b
(* (tan z) (tan y))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
13×add-log-exp
7×tan-quot
6×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
4×diff-log distribute-lft-out--
3×sub-neg associate-*r* associate-*l* difference-of-squares
2×flip3-- flip-- associate--r+
1×frac-times +-commutative sum-log flip3-+ times-frac pow-prod-down associate-*l/ frac-add prod-exp associate-*r/ *-commutative frac-sub cbrt-unprod flip-+ distribute-lft-out associate--r- unswap-sqr
Counts
4 → 69
Calls
4 calls:
6.0ms
(+ (tan y) (tan z))
93.0ms
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
26.0ms
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
25.0ms
(* (tan z) (tan y))

series1.6s

Counts
4 → 12
Calls
4 calls:
145.0ms
(+ (tan y) (tan z))
612.0ms
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
684.0ms
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
132.0ms
(* (tan z) (tan y))

simplify626.0ms

Counts
81 → 81
Iterations
IterNodes
done5001
21226
1384
0161

prune592.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ (tan y) (tan z))
0.1b
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
0.2b
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
0.2b
(* (tan z) (tan y))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
13×add-log-exp
7×tan-quot
6×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
4×diff-log distribute-lft-out--
3×sub-neg associate-*r* associate-*l* difference-of-squares
2×flip3-- flip-- associate--r+
1×frac-times +-commutative sum-log flip3-+ times-frac pow-prod-down associate-*l/ frac-add prod-exp associate-*r/ *-commutative frac-sub cbrt-unprod flip-+ distribute-lft-out associate--r- unswap-sqr
Counts
4 → 69
Calls
4 calls:
7.0ms
(+ (tan y) (tan z))
102.0ms
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
28.0ms
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
28.0ms
(* (tan z) (tan y))

series1.6s

Counts
4 → 12
Calls
4 calls:
125.0ms
(+ (tan y) (tan z))
567.0ms
(- x (- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y))))))
736.0ms
(- (tan a) (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))))
125.0ms
(* (tan z) (tan y))

simplify697.0ms

Counts
81 → 81
Iterations
IterNodes
done5001
21226
1384
0161

prune628.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.1b
(+ (tan y) (tan z))
0.2b
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a)))
0.2b
(* (tan y) (tan z))
2.1b
(exp (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a))))

rewrite356.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
17×add-log-exp
9×add-sqr-sqrt
7×add-cube-cbrt
6×pow1 add-cbrt-cube tan-quot add-exp-log
5×exp-prod sum-log distribute-lft-out
3×associate-*r* associate-*l* frac-add rem-exp-log
2×+-commutative associate-+r+ associate-+r- flip3-+ diff-log flip-+ distribute-lft-out--
1×frac-times sub-neg flip3-- exp-diff exp-sum pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 70
Calls
4 calls:
6.0ms
(+ (tan y) (tan z))
68.0ms
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a)))
23.0ms
(* (tan y) (tan z))
257.0ms
(exp (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a))))

series1.7s

Counts
4 → 12
Calls
4 calls:
147.0ms
(+ (tan y) (tan z))
731.0ms
(+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a)))
153.0ms
(* (tan y) (tan z))
701.0ms
(exp (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (- x (tan a))))

simplify837.0ms

Counts
82 → 82
Iterations
IterNodes
done5000
21542
1423
0160

prune556.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes479.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done21
221
120
015

end0.0ms

sample11.3s

Algorithm
intervals
Results
6.6s3894×body1280valid
2.3s1975×body640valid
966.0ms717×body320valid
575.0ms8000×pre80true
181.0ms1082×body80valid
118.0ms332×body160valid